[Thomas] > ... > - For timing, the clock() call in the windows CRT yields rather > innacurate data, so I had to use a Win32 call. Note that *Python's* time.clock() on Windows uses the Win32 QueryPerformanceCounter() call, which has better than microsecond resolution on virtually all Windows boxes.