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