def __exit__(self, *args):
self.end = time.time()<EOL>self.secs = self.end - self.start<EOL>self.msecs = self.secs * <NUM_LIT:1000>  <EOL>if self.verbose:<EOL><INDENT>print('<STR_LIT>' % self.msecs)<EOL><DEDENT>
Exit timer.