0xffffffffc9410d80