1package body Part_Of1.Private_Generic 2with 3 Refined_State => (State => Numbers) 4is 5 Numbers : array (Range_Type) of Integer := (others => 0); 6 7 function Get (I : Range_Type) return Integer 8 is 9 begin 10 return Numbers (I); 11 end Get; 12 13end Part_Of1.Private_Generic; 14