("300" (plthome . #"collects/typedscm/typedscm.ss") (plthome . #"collects/typedscm/tc-scheme-token.scm") (plthome . #"collects/typedscm/tc-char-seq-as-stream.scm") (plthome . #"collects/typedscm/relax-type-checking.scm") (plthome . #"collects/typedscm/tc-token-seq-as-stream.scm"))