double secs = ptimer_measure ();
printf ("The loop took %.2fs\n", secs); */
double secs = ptimer_measure ();
printf ("The loop took %.2fs\n", secs); */
/* Determine the clock we can use. For a clock to be usable, it
must be confirmed with sysconf (where applicable) and with
/* Determine the clock we can use. For a clock to be usable, it
must be confirmed with sysconf (where applicable) and with