Do nothing when time() returns a different value
Make it to pass typecheckcer