0xffffffffc139d000