setenv pop_pop11 "-$popsavelib/startup.psv"
setenv pop_prolog "$pop_pop11 -$popsavelib/prolog.psv"
setenv pop_clisp "$pop_pop11 -$popsavelib/clisp.psv"
setenv pop_pml "$pop_pop11 +$popsavelib/pml.psv"
setenv pop_xved "$pop_pop11 +$popsavelib/xved.psv"
setenv pop_ved "$pop_pop11 :sysinitcomp();ved"
