(module main "private/main-base.rkt" default-mode-preproc (module reader "private/reader-base.rkt" default-mode-auto))