static void androidUI(fO r) {
  androidUI_wait(r);
}