finished region_alloc