Utf8 processing support for Standard ML