> Actually I remember by notion was that the amount of fudge (10 seconds) > should not be compiled into any of the programs, but just be in a shell > file, since that way it can be tweaked without requiring a re-compile. O.k. Easy enough to add to the runme script.