/* substitute system function */ int wcwidth(int ch) { return mk_wcwidth(ch); }