String.IsValid() AND // A valid UTF [...] AND // The capacity [...] String.Len() = 17 AND // The

.IString := STR.SetSegment(my [...] Ok := ( udiSize >= 512 AND [...] String.Len() = 133 AND STR