0xffffffffc07f42dc
