with System.Storage_Elements;
package System_Storage_Elements renames System.Storage_Elements;