input foo: int[4]
output baz: int
baz := reduce 5 (a, b <- foo) 0 { a + b }