With Ada.Text_IO; Use Ada.Text_IO;  
With Ada.Integer_Text_IO; Use Ada.Integer_Text_IO;

procedure Prog is
  Large : array (0 .. 100) of Integer;
  Small : array (0 .. 3) of Integer;
begin
  -- extract section from one array into another.
  Small(0 .. 3) := Large(10 .. 13);
end;