; (defun f args body) ==> (define f (lambda args body))
(defun thing (x)
  (let* ((y x)
	 (z (+ y 1)))
      (/ z 2)))