0x400adefd