0xffffffffc039e12c
