with Blocks;

procedure STR is
   XX : String (1 .. Blocks.Sz) := (others => 'X'); -- STOP
   K : Integer;
begin
   K := 13;
   Blocks.Do_Nothing (XX'Address);
   Blocks.Do_Nothing (K'Address);
end;