(define zero (lambda () (lambda (x) x)))
(define (add-1 n)
(lambda (f) (lambda (x) (f ((n f) x)))))
(display (zero 0))
(display (add-1 zero))
KGRlZmluZSB6ZXJvIChsYW1iZGEgKCkgKGxhbWJkYSAoeCkgeCkpKQoKKGRlZmluZSAoYWRkLTEgbikKICAobGFtYmRhIChmKSAobGFtYmRhICh4KSAoZiAoKG4gZikgeCkpKSkpCgooZGlzcGxheSAoemVybyAwKSkKKGRpc3BsYXkgKGFkZC0xIHplcm8pKQ==