import Vector;

declare u:Vec, v:Vec, w:Vec {
  (let ([u #(1 2 3)]
        [v #(4 5 6)]
        [w #(7 8 9)])
    u + v + w)
}