0xffffffffc139fbbc