pub const sysz_insn_SYSZ_INS_IPK: sysz_insn = 1173;