ignore termination of Data.Text.Encoding.encodeUtf8 for now