/* * A timecounter has gone bad, arrange to pick a new one at the next * clock tick. */