$ ./diamond
Benchmark: timing 100 iterations of readbig, whilelp...
   readbig: 10 wallclock secs ( 8.07 usr +  0.29 sys =  8.36 CPU) @ 11.96/s (n=100)
   whilelp:  5 wallclock secs ( 4.79 usr +  0.29 sys =  5.08 CPU) @ 19.69/s (n=100)
$