pub const sysz_insn_SYSZ_INS_TPROT: sysz_insn = 1667;