Don't check any more for NULL timeouts in REPEAT-DECREASING-TIMEOUT.