((lambda (id k$1) (id (lambda (z k$8) (k$8 z)) (lambda (retval$7) ((lambda (f k$2) (id 2 (lambda (retval$6) ((lambda (b k$3) (id 3 (lambda (retval$5) ((lambda (c k$4) (f b k$4)) retval$5 k$3)))) retval$6 k$2)))) retval$7 k$1)))) (lambda (x k$9) (k$9 x)) halt)