w32_gdiplus_shutdown 10407 src/w32.c        w32_gdiplus_shutdown ();
w32_gdiplus_shutdown   48 src/w32gui.h   extern void w32_gdiplus_shutdown (void);