Symbol: bare_mem_regions