("300" (plthome . #"collects/typedscm/displayln-mod.scm") (plthome . #"collects/typedscm/writeln-mod.scm") (plthome . #"collects/mzlib/pretty.ss"))