#include #include HsInt vty_mk_wcwidth(HsChar ucs) { return (HsInt) utf8proc_charwidth((utf8proc_int32_t) ucs); }