ANDROID_HANDLE_CURSOR 6733 src/android.c    android_handles[id].type = ANDROID_HANDLE_CURSOR;
ANDROID_HANDLE_CURSOR 6752 src/android.c    cursor1 = android_resolve_handle (cursor, ANDROID_HANDLE_CURSOR);
ANDROID_HANDLE_CURSOR 6765 src/android.c    if (android_handles[cursor].type != ANDROID_HANDLE_CURSOR)