Segment : POINTER TO BYTE; udi [...] String.IsValid() AND // A valid UTF [...] AND // The capacity
内存的处理(例如类型 ARRAY OF BYTE [...] ..32] OF BYTE [...] Ok := ( udiSize >= 512 AND