; Random irreducible polynomial search
(lambda (p q) (let* (
   (pq (expt p q))(Fp ((fileVal "finiteField") p))
   (i->p (Fp 'i->p)) (ng (((fileVal "RC4") 'rbi "Seed xx") pq))
   (rpg (lambda () (i->p (+ pq (ng)))))(tip (Fp 'tip)))
 (let lp ((c 0)) (let ((pc (rpg))) (or (and (tip pc) (cons c pc))
    (lp (+ c 1)))))))
  