pub const sysz_insn_SYSZ_INS_KMC: sysz_insn = 1200;