pub const sysz_insn_SYSZ_INS_VFTCI: sysz_insn = 1938;