("300" (plthome . #"collects/typedscm/typedscm.ss") (plthome . #"collects/typedscm/tc-env.scm") (plthome . #"collects/typedscm/tc-global-var-output-types.scm") (plthome . #"collects/typedscm/tc-type-translate.scm") (plthome . #"collects/typedscm/tc-compute-cxr-types.scm"))