(def (f x)
  (def (g y)
    (* y 2))
  (g (+ x 1)))

(f 3)