Character encodings
Encoding/decoding to/from bigarrays
UTF-8 encoded strings
This module is used by the syntax extension