region_alloc()