1 with System.Storage_Elements;
5 package SSE renames System.Storage_Elements;
7 type SS_Ptr is new SSE.Integer_Address;
9 type Memory is array (SS_Ptr range <>) of SSE.Storage_Element;
10 for Memory'Alignment use Standard'Maximum_Alignment;
12 type Chunk_Id (First, Last : SS_Ptr) is record
13 Mem : Memory (First .. Last);
16 type Chunk_Ptr is access all Chunk_Id;
18 type Stack_Id is record
19 Current_Chunk : Chunk_Ptr;
22 type Stack_Ptr is access Stack_Id;
24 procedure SS_Allocate (Stack : Stack_Ptr);