package Part_Of1.Instantiation
with
   Abstract_State => State
is
   pragma Elaborate_Body;
end Part_Of1.Instantiation;