svoid test_RestartableCountdown() {
}