0xffffffffc143045c