Shouldn't this be above `import time`?