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

static <A> A androidUI(F0<A> f) {
  ret androidUI_wait(f);
}