Create region_addr_t

[iankronquist]

in region.h.

union region_addr_t { uint64_t asUint64; void *asPointer; };
static inline void *region_addr_to_pointer(region_addr_t addr) {
    return addr.asPointer;
}