Symbol: vax_mem_write_region_1