0xffffffffc139c000