(defun p-match (p v)
       (cond
         ((eql p '_) nil)
         ((null p) nil)
         ((atom p) (list (cons p v)))
         ((consp p)
          (nconc
           (p-match (car p) (car v))
           (p-match (cdr p) (cdr v))))))