*** Begin of history file: Sat May 30 07:37:08 1998
vvec/print x
vec/print x
*** End   of history file: Sat May 30 07:40:23 1998