svoid newPing() {
  var tl = newPing_actionTL();
  Runnable action = tl!?;
  action?.run();
}