-------------------------------------------------------------------------------

Error code: VFAV(5)

Error: convert mark is used for non-binary operator alias.
What to do: remove the convert mark or make sure that it is applied to
  a binary operator alias.

Class: BB
Feature name: f
Line: 16
  
->  f alias "+" convert: INTEGER
      do

-------------------------------------------------------------------------------