0xffffffffc18ad57e
