pub const sysz_insn_SYSZ_INS_TRE: sysz_insn = 1673;