begin
 procedure test;
  begin
   integer array grow[0:10000];
   integer x;
   x := 1;
   begin
    integer array back[0:10];
    if x = 1 then return
    end;
   end;
 while TRUE do test;
 end