svoid test_RestartableCountdown() { }