input foo: int[4]
output baz: int[4]
baz := map 2 (a <- foo) { a + 5 }