gcc/testsuite/gnat.dg/specs/elab4_proc.adb

procedure Elab4_Proc is
begin
   null;
end;