with System.Storage_Elements; use System.Storage_Elements;

package Slice7_Pkg is

  procedure Put (The_Object : in Storage_Array);

end Slice7_Pkg;