0xffffffffc134f438