path: root/progs/tests/auto/add.sy

start :: fn {
(1, 2, 3, 4) + (4, 3, 2, 1) <=> (5, 5, 5, 5)
}