@@ -0,0 +1,18 @@
+{ %VERSION=1.1 }
+
+program tinivar;
+procedure p1;
+var
+ a : integer = 1;
+begin
+ writeln(a);
+ if a<>1 then
+ halt(1);
+ inc(a);
+end;
+ p1;
+end.