(def a (+ 2 3))

(def (sq x) (* x x))

(def (avg a b) (/ (+ a b) 2))

(def b (avg a (sq a)))
