Symbol: vax_mem_read_multi_4