with System.Storage_Elements; use System.Storage_Elements;
package Slice7_Pkg is
procedure Put (The_Object : in Storage_Array);
end Slice7_Pkg;