+ NSDictionary *defaultOptions;
+ const XrmOptionDescRec *opts;
+ id xml_root, xml_parsing;
+
+# ifdef USE_IPHONE
+ UITextField *active_text_field;
+ NSMutableArray *controls;
+ NSMutableArray *pref_ctls; // UIControl objects, with index = c.tag
+ NSMutableArray *pref_keys; // ...and their corresponding resources
+# ifdef USE_PICKER_VIEW
+ NSMutableArray *picker_values;
+# endif
+# endif
+