Ciklusváltozók és a „lokalitás” kényszere

Var i:Integer;
   Procedure A;
   Begin
     For i:= … do
   End;
Begin
   For i:= … do
   Begin … A; … End;
End.

Mellékhatás (Side effect)

Function fv(Var x:…): …;
Begin
   …
   x:=…
End

Begin

   b:=fv(a)+fv(a); { b? }
   b:=2*fv(a); { b? }

End.