("300" (plthome . #"collects/typedscm/typedscm.ss") (plthome . #"collects/typedscm/tc-util.scm") (plthome . #"collects/typedscm/tc-subst.scm") (plthome . #"collects/typedscm/tc-env.scm") (plthome . #"collects/typedscm/tc-tracing.scm"))