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

(f 3)