re-added the `import time`.