<|file_name|>ptime.py<|end_file_name|><｜fim▁begin｜>import sys
import time


sleep = time.sleep

if sys.platform == 'win32':
        <|fim_middle|>

else:
    time = time.time


<｜fim▁end｜>
    time = time.clock