(defclass test1 () ((a :initarg :a :accessor a)
		    (b :initarg :b :accessor b)))

(defun test ()
  (let ((env (unify:unify #T(test1 a #T(list 1 ?x 3 &rest) b "woot")
			  (make-instance 'test1 :a '(1 2 3) :b "woot"))))
    (unify:find-variable-value '?x env)))