0x45...EBDE