pub const mips_insn_MIPS_INS_AVER_S: mips_insn = 38;