1 2 3 4 5 6
package Part_Of1.Instantiation with Abstract_State => State is pragma Elaborate_Body; end Part_Of1.Instantiation;