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