("300" (plthome . #"collects/typedscm/typedscm.ss") (plthome . #"collects/typedscm/tc-types.scm") (plthome . #"collects/typedscm/tc-output-type-expr.scm") (plthome . #"collects/typedscm/tc-scheme-abstract-syntax.scm"))