0x7fedefff