package Generic_Inst3_Traits is
   pragma Pure;
end Generic_Inst3_Traits;