0xffffffffc071def9