package Elab8_Pkg with SPARK_Mode is

  pragma Elaborate_Body;

end Elab8_Pkg;