mouse_cursor_max 2728 src/androidfns.c     mouse_cursor_max
mouse_cursor_max 1255 src/xfns.c       mouse_cursor_max