fprintf(stderr,"%d redundant tst's\n", nrtst);
fprintf(stderr,"%d jump on bit\n", nbj);
fprintf(stderr,"%d field operations\n", nfield);
fprintf(stderr,"%d redundant tst's\n", nrtst);
fprintf(stderr,"%d jump on bit\n", nbj);
fprintf(stderr,"%d field operations\n", nfield);