generic
   type T is private;
package Static_Pred1 is
   procedure Dummy (Value : T);
end Static_Pred1;