Symbol: chipc_alloc_region