pollution: wcwidth int wcwidth(wchar_t __wc);