0xffffffffc139f000