!7 p { O optionsMenu = getOpt(androidActivity(), 'optionsMenu); print("Options menu: " + optionsMenu); }