(define (cn-to-int cn) (cn (lambda (x) (+ x 1)) 0))
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
(lambda (f) (lambda (x) (f ((n f) x)))))
(display (cn-to-int zero))
KGRlZmluZSAoY24tdG8taW50IGNuKSAoY24gKGxhbWJkYSAoeCkgKCsgeCAxKSkgMCkpCgooZGVmaW5lIHplcm8gKGxhbWJkYSAoZikgKGxhbWJkYSAoeCkgeCkpKQooZGVmaW5lIChhZGQtMSBuKQogIChsYW1iZGEgKGYpIChsYW1iZGEgKHgpIChmICgobiBmKSB4KSkpKSkKCihkaXNwbGF5IChjbi10by1pbnQgemVybykp