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