pub const sysz_insn_SYSZ_INS_KEB: sysz_insn = 1193;