(comment list 40000. symbols 4000.)

(progn (setq pure 1)
       (fasload mschsy fasl dsk scheme)
       (setq alarmclock nil)
       (setq *displace-save-sw* nil)
       (MARVEL t '|MARVEL: Top Level|))