pub const mips_insn_MIPS_INS_MUH: mips_insn = 448;