0xffffffffc07e523a
