add env_alloc() region_alloc()