GUI_ENCODE_SYSTEM 1929 src/w32fns.c   			      GUI_SDATA (GUI_ENCODE_SYSTEM (name)));
GUI_ENCODE_SYSTEM 8344 src/w32fns.c         parameters = GUI_ENCODE_SYSTEM (parameters);
GUI_ENCODE_SYSTEM 8349 src/w32fns.c         operation = GUI_ENCODE_SYSTEM (operation);
GUI_ENCODE_SYSTEM  884 src/w32term.h  #define GUI_ENCODE_FILE GUI_ENCODE_SYSTEM