Oh, should probably use clock.time() though, to ensure it's in sync with other things (not that it matters here, but just to be consistent in general).