alpha_print_instruction
int alpha_print_instruction(vaddr_t, alpha_instruction, int);
loc += alpha_print_instruction(loc, inst, altfmt);