GGI_VideoQuit    172 src/video/ggi/SDL_ggivideo.c             GGI_VideoQuit(NULL);
GGI_VideoQuit    178 src/video/ggi/SDL_ggivideo.c             GGI_VideoQuit(NULL);
GGI_VideoQuit    186 src/video/ggi/SDL_ggivideo.c             GGI_VideoQuit(NULL);
GGI_VideoQuit    203 src/video/ggi/SDL_ggivideo.c             GGI_VideoQuit(NULL);
GGI_VideoQuit    301 src/video/ggi/SDL_ggivideo.c             GGI_VideoQuit(NULL);