svoid retry(int attempts, Runnable r) {
  while ping (attempts-- > 0) {
    pcall {
      callF(r);
      ret;
    }
    print("Attempts remaining: " + attempts);
  }
}