WIP tests about changing the representation of Rusts `char` type to utf8