0xffffffffc024237c
