drscheme/module-forms.ss
#lang scheme/base

;; provided names required by the user module's namespace
(provide #%top #%datum)