with Packed_Array_Pkg; use Packed_Array_Pkg; package Packed_Array is C : constant Small_Rec2 := (Lo => 1, Hi => Max, A => (1 => (2, 3))); procedure Dummy; end;