pub const sysz_insn_SYSZ_INS_VFCE: sysz_insn = 1839;