uint64_t UNALIGNED_RET64 (uint64_t * addr64 )
Returns a 64-bit quantity from the address specified by addr64.