pub const sysz_insn_SYSZ_INS_VFCHE: sysz_insn = 1847;