0xffffffffc072ce54