svoid ping_okInCleanUp() {
  if (ping_pauseAll ifndef LeanMode || ping_anyActions endifndef)
    ping_impl(true);
}