0xffffffffc1e57b42
