<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_fo8tjp33n5j8tbj0j8tkngk7kj, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

import android.view.Menu;
import android.view.MenuItem;

p {
  Menu optionsMenu = cast getOpt(androidActivity(), 'optionsMenu);
  print("Options menu: " + optionsMenu);
  if (optionsMenu == null) ret with print("No menu, weird");
  int n = optionsMenu.size();
  print("Size: " + n);
  for i to n: {
    MenuItem item = menu.getItem(i);
    print("Item " + (i+1) + ": " + item.getTitle());
  }
}