package Renaming4 is type Big_Array is array (Natural range <>) of Integer; subtype Index is Natural range 1..4; subtype My_Array is Big_Array(Index); A : constant My_Array := (1, 2, 3, 4); subtype Small is Index range 1..2; subtype Small_Array is Big_Array(Small); B : Small_Array renames A(Index); end Renaming4;