pub const sysz_insn_SYSZ_INS_SCK: sysz_insn = 1520;