0xffffffffc94dbe28