open System.Text let byte_length str = Encoding.UTF8.GetByteCount(str)