0x8000 is the new 0x4124