Symbol: vax_mem_write_region_4