svoid ignoreExceptionContaining(S text, Runnable r) {
  try {
    callF(r);
  } catch e {
    if (cic(str(e), text))
      print("Ignoring exception: " + e);
    else
      throw rethrow(e);
  }
}