[VFAV-5] class BB (16,10): `alias "+"' has a convert mark but it is not a binary operator alias. ----