0xffffffffc137d71c