0xffffffffc139f054