1func hello a b = a + b 2 3proc main!() { 4 assert hello 1 2 == 3 5 let x = hello 3 6 assert x 4 == 7 7}