GUI_ENCODE_SYSTEM  885 src/w32term.h  #define GUI_ENCODE_SYSTEM(x) ntgui_encode_system (x)
GUI_ENCODE_SYSTEM  891 src/w32term.h  #define GUI_ENCODE_SYSTEM ENCODE_SYSTEM