(define match-pair (lambda (e em) (if (not (pair? em)) MATCH-FAILED (list (match-expr (car e) (car em)) (match-expr (cdr e) (cdr em))))))