0xffffffffc04def30