(Module
  (Empty)
  (Statements
    (Function
      (VariableIdentifier)
      (Statements
        (Let
          (Function
            (VariableIdentifier)
            (Statements
              (VariableIdentifier)))
          (Function
            (VariableIdentifier)
            (Statements
              (Let
                (Function
                  (VariableIdentifier)
                  (Statements
                    (Integer)))
                (VariableIdentifier))))
          (VariableIdentifier))))
    (Function
      (VariableIdentifier)
      (Statements
        (VariableIdentifier)
        (Statements
          (Function
            (VariableIdentifier)
            (Statements
              (VariableIdentifier)))
          (Function
            (VariableIdentifier)
            (Statements
              (Integer))))))
    (Function
      (VariableIdentifier)
      (Statements
        (VariableIdentifier)
        (Statements
          (Function
            (VariableIdentifier)
            (Statements
              (VariableIdentifier)))
          (Function
            (VariableIdentifier)
            (Statements
              (Integer))))))
    (Function
      (VariableIdentifier)
      (Statements
        (VariableIdentifier)
        (Statements
          (Function
            (VariableIdentifier)
            (Statements
              (VariableIdentifier)
              (Statements
                (Function
                  (VariableIdentifier)
                  (Statements
                    (VariableIdentifier)))
                (Function
                  (VariableIdentifier)
                  (Statements
                    (VariableIdentifier))))))
          (Function
            (VariableIdentifier)
            (Statements
              (VariableIdentifier))))))
    (Function
      (VariableIdentifier)
      (Statements
        (Do
          (VariableIdentifier)
          (VariableIdentifier)
          (Do
            (VariableIdentifier)
            (VariableIdentifier)
            (Do
              (VariableIdentifier)
              (VariableIdentifier))
            (VariableIdentifier))
          (VariableIdentifier))))
    (Function
      (VariableIdentifier)
      (Statements
        (Do
          (VariableIdentifier)
          (Statements
            (Function
              (VariableIdentifier)
              (Statements
                (VariableIdentifier)))))))
    (Function
      (VariableIdentifier)
      (Statements
        (Do
          (VariableIdentifier)
          (Statements
            (Function
              (VariableIdentifier)
              (Statements
                (VariableIdentifier)))))))
    (Function
      (VariableIdentifier)
      (Statements
        (Do
          (VariableIdentifier)
          (Statements
            (Function
              (VariableIdentifier)
              (Statements
                (VariableIdentifier)))))))))