How does this work, now that `import time` is removed?