0xffffffffc943f000