static S thisVMGreeting() { L record_list = cast get(getJavaX(), "record_list"); O android = first(record_list); // Should be of class Android3 ret getString(android, "greeting"); }