(define same_name
  '((fun (f)
         (vars
          []
          (return 0)))
    (fun (main)
         (vars
          []
          (return f)))))