0xffffffffc142ad3a