2.9BSD/usr/src/ucb/lisp/v7source/preload.lisp

(load '"/usr/ucb/lib/lisp/svlisp")
(sv1)