git-svn-id: trunk@6362 -
@@ -20,6 +20,8 @@ begin
a[$ffffffff]:=1;
b[$ffffffff]:=2;
c[$ffffffff]:=3;
+ if a+b+c<>6 then
+ halt(1);
writeln(a[$ffffffff]);
writeln(b[$ffffffff]);
writeln(c[$ffffffff]);