Integer; procedure bigsub is procedure a (flag : boolean) is

Procedure Bigsub is

procedure A (Flag: Boolean) is

v, w : Integer

procedure B is

u, y : Integer

A (false);

end; - - of B

if flag

then B;

else C;

...

end; - - of A

procedureC is

u, w, y : Integer;

procedure D is

t, z : Integer

...

z = t*u + y-w;

...

end; - - of D

...

D;

end; - - of C

begin

t, u, v : Integer

...

A (true);

...

end; - - of BigSub