0x40...3f74 | Defined.fi