(define A
  (lambda (k x1 x2 x3 x4 x5)
    (letrec ((B
           (lambda ()
             (set! k (- k 1))
             (A k B x1 x2 x3 x4))))
      (if (<= k 0)
          (+ (x4) (x5))
          (B)))))

(A 10 (lambda () 1) (lambda () -1) (lambda () -1) (lambda () 1) (lambda () 0))