Rename CharWidth() to char_width(). The former name clashes with an API