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.