+unsigned time_lw_D()
+{
+ unsigned result = 0;
+ unsigned count = 0;
+ timer rolex;
+ double time = .0;
+
+ cout << "timing Lewis-Wester test D (normalized sum of rational fcns)" << flush;
+
+ rolex.start();
+ // correct for very small times:
+ do {
+ result = test();
+ ++count;
+ } while ((time=rolex.read())<0.1 && !result);
+ cout << '.' << flush;
+ cout << time/count << 's' << endl;
+
+ return result;
+}
+
+extern void randomify_symbol_serials();
+
+int main(int argc, char** argv)