1private generic 2 Count : Integer := 4; 3package Part_Of1.Private_Generic 4with 5 Abstract_State => State 6is 7 8 subtype Range_Type is Integer range 1 .. Count; 9 10 function Get (I : Range_Type) return Integer; 11 12end Part_Of1.Private_Generic; 13