testsuite/gnat.dg/elab8_pkg.ads

package Elab8_Pkg with SPARK_Mode is

  pragma Elaborate_Body;

end Elab8_Pkg;