static void androidUI_wait(fO r) {
  final new Flag done;
  androidUI_noWait(r {
    try {
      callF(r);
    } finally {
      done.raise();
    }
  });
  done.waitUntilUp();
}