0xffffffffc07b85ec
