@@ -0,0 +1,45 @@
+var
+ sa : array[0..2] of char;
+ s: string;
+begin
+ sa := '';
+ s := sa;
+ if length(s) <> 0 then
+ begin
+ writeln('error 0');
+ halt(1);
+ end;
+
+ sa := 'a';
+ if length(s) <> 1 then
+ writeln('error 1');
+ sa := 'ab';
+ if length(s) <> 2 then
+ writeln('error 2');
+ sa := 'abc';
+ // check for possible overflow in assignment
+ s[4] := '1';
+ if length(s) <> 3 then
+ writeln('error 3');
+ if s[4] <> '1' then
+ writeln('error 4');
+end.