pub const sysz_insn_SYSZ_INS_VFKEDB: sysz_insn = 1886;