def _squeeze_time(t):
if sys.platform.startswith('<STR_LIT>'):<EOL><INDENT>return max(<NUM_LIT:0>, t - <NUM_LIT>)<EOL><DEDENT>else:<EOL><INDENT>return t<EOL><DEDENT>
Remove .1s to the time under Windows: this is the time it take to
    stat files. This is needed to make results similar to timings under
    Unix, for tests