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