pub const sysz_insn_SYSZ_INS_VCTZH: sysz_insn = 1762;