0xffffffffc041c000