0xffffffffc042c000