vAdd (x1, y1) (x2, y2) := (+ x1 x2, + y1 y2)
vAdd (x1, y1, z1) (x2, y2, z2) := (+ x1 x2, + y1 y2, + z1 z2)
vAdd (x1, y1, z1, t1) (x2, y2, z2, t2) := (+ x1 x2, + y1 y2, + z1 z2, + t1 t2)

return {vAdd (1, 2) (3, 5), vAdd (9, 10, 11) (12, 9, 5), vAdd (5, 6, 7, 8) (11, 12, 19, 13)}