mouse_cursor_bottom_right_corner 2725 src/androidfns.c     mouse_cursor_bottom_right_corner,
mouse_cursor_bottom_right_corner 1252 src/xfns.c       mouse_cursor_bottom_right_corner,