Dekker's algorithm so randomize()/clear() don't clash with run().