def log(self, statement):
global DEBUG<EOL>time_ms = <NUM_LIT:1000> * time.time()<EOL>if DEBUG:<EOL><INDENT>total_time_ms = time_ms - self._start_time_ms_<EOL>lap_time_ms = time_ms - self._last_time_ms_<EOL>sys.stderr.write('<STR_LIT>' % (<EOL>total_time_ms, lap_time_ms, statement))<EOL><DEDENT>self._last_time_ms_ = time_ms<EOL>
Write statement to stderr with timing info in DEBUG mode.