t:=Services.Ticks();
doc:=XmlcoreCmds.LoadXMLDocument('Xmlcore/Rsrc/antarctica.svg');
StdLog.String('read ');StdLog.Int(Services.Ticks()-t);

PROCEDURE AddRight (inoutString: DynString; IN str: ARRAY OF CHAR);
      (* str is added to content of string at the right side. *)
      VAR newString: POINTER TO ARRAY OF CHAR;
   BEGIN
      NEW (newString, LEN (inoutString.content$) + LEN (str$) + 1);
      newString^ := inoutString.content$ + str$;
      inoutString.content := newString
   END AddRight;

PROCEDURE (string: DynString) AddCharRight* (inChar: CHAR), NEW;
      (* inChar is added at the right side of the content of string. *)
      VAR str: ARRAY 2 OF CHAR;
         oldLength: INTEGER;
   BEGIN
      oldLength := LEN (string.content$);
      str[0] := inChar;
      str[1] := 0X;
      AddRight (string, str);

      (* Post: string.Length = oldString.Length + 1 *)
      Assert.PostStringValid (string.content);
      Assert.PostStringLenOk (LEN (string.content$) = oldLength + 1, string.content$, oldLength + 1)
   END AddCharRight;

   Char = POINTER TO RECORD (Avl.Elem)
         c: CHAR;
      END;
      
      StdString = POINTER TO RECORD (String)
         chars: Avl.Tree;
      END;