burtonsamograd

;; A nock interpreter
(defun tar (a f)
  (labels ((fas (b a)
	     (declare (integer b))
	     (cond
               ((= b 1) a)
               ((= b 2) (car a))
               ((= b 3) (cdr a))
               ((evenp b) (car (fas (/ b 2) a)))
               ((oddp b) (cdr (fas (/ (1- (the integer b)) 2) a))))))