more working (see ptest.lisp), still lots to go