0xffffffffc142506c
