INPUT_SIZ
while (fgetws(input_buf, INPUT_SIZ, stdin) != NULL) {
input_buf[INPUT_SIZ] = 0;
wchar_t input_buf[INPUT_SIZ+1];