pub const sysz_insn_SYSZ_INS_SCKPF: sysz_insn = 1522;