("300" (plthome . #"collects/typedscm/typedscm.ss") (plthome . #"collects/lib342/arith-expr-mod.scm"))