(module runtime mzscheme
  (provide #%datum #%top))