package Warn29 is
   type T is tagged null record;
   procedure P (X : T; Y : Integer);
end Warn29;