static void androidLater(final int delay, final Runnable r) {
  thread {
    sleep(delay);
    androidUI_noWait(r);
  }
}