(define (new-cons a b)
  (lambda (m)
    (cond ((= m 0) a)
          ((= m 1) b))))
(define (new-car pair)
  (pair 0))
(define (new-cdr pair)
  (pair 1))