pub const sysz_insn_SYSZ_INS_ESXTR: sysz_insn = 1154;