0xffffffffc143748c
