uint32_t UNALIGNED_RET32 (uint32_t * addr32 )
Returns a 32-bit quantity from the address specified by addr32.