(define a 3) a
(define b (+ a 1)) b
(if (> a b) a b) 4
(+ 2 (if (> a b) a b)) 6
(* (cond ((> a b) a)
((< a b) b) (else -1)) (+ a 1)) 16
((if (< a b) + -) a b) 7