(module mzlite mzscheme
  (provide #%app #%top #%datum #%module-begin)
  (provide require provide))