(+ 7 (+ 1 2)) (+ x:integer y:integer) (+ x:integer 7)