mouse_cursor_top_right_corner 2723 src/androidfns.c     mouse_cursor_top_right_corner,
mouse_cursor_top_right_corner 1250 src/xfns.c       mouse_cursor_top_right_corner,