!7

import android.view.Menu;
import android.view.MenuItem;

p {
  Menu menu = cast getOpt(androidActivity(), 'optionsMenu);
  print("Options menu: " + menu);
  if (menu == null) ret with print("No menu, weird");
  int n = menu.size();
  print("Size: " + n);
  for i to n: {
    final MenuItem item = menu.getItem(i);
    print("Item " + (i+1) + ": " + item.getTitle());
    androidUI(r {
      item.setTitle(randomID());
    });
  }
}