pub const sysz_insn_SYSZ_INS_VFKESB: sysz_insn = 1888;