package body elim1 is
   procedure d (a : t) is
   begin
      null;
   end; 
end;