; Perhaps not used.
(lambda (K add inv one) (let ((NG ((((fileVal "RC4") "flog") 'rbi) (+ 1 (* 2 K))))
  (P ((fileVal "expt") add one inv))) (lambda ()  (P one (- (NG) K)))))