##### 8.1.7.6 Generic Categorized Units

         generic
         package GenericRCI is
            pragma Remote_Call_Interface;

            procedure P;
         end GenericRCI;

         with GenericRCI;
         package RCIInstantiation is new GenericRCI;
         pragma Remote_Call_Interface (RCIInstantiation);

         with GenericRCI;
         package NormalInstantiation is new GenericRCI;

Generic units may be categorized. Instances do not automatically inherit the categorization of their generic units, but they can be categorized explicitly. If they are not, instances are normal compilation units. Like any other categorized unit, a categorized instance must be at the library level, and the restrictions of categorized units apply on instantiation (in particular on generic formal parameters).