pub const sysz_insn_SYSZ_INS_VFTCIDB: sysz_insn = 1939;