1package body elim1 is
2   procedure d (a : t) is
3   begin
4      null;
5   end;
6end;
7