utf8to16           99 src/w32menu.c  static void utf8to16 (unsigned char *, int, WCHAR *);
utf8to16         1119 src/w32menu.c  	  utf8to16 ((unsigned char *)utf8_text, utf8_len, text);
utf8to16         1360 src/w32menu.c        utf8to16 ((unsigned char *)out_string, utf8_len, utf16_string);