("300" (plthome . #"collects/eopl/eopl.ss"))