0xffffffffc9391d80