1. let p f n=
  2. let final=0 and
  3. let sofar=0 and
  4. let ls=0 and
  5. let lf =0 in
  6. 5
  7. ;;