pub const sysz_insn_SYSZ_INS_SRK: sysz_insn = 637;