pub const sysz_insn_SYSZ_INS_VFMAX: sysz_insn = 1912;