0x80...93dd | Defined.fi