0xffffffffc0bed51c
