0xffffffffc07c31f0
