--  { dg-do run }

with elim1;
procedure elim2 is
begin
   null;
end;