pub const sysz_insn_SYSZ_INS_PKU: sysz_insn = 1487;