Symbol: vax_instr_t