(* Vector addition *)
DEF VecAdd AS trans | EACH + END;

