0x80...470c | Defined.fi