| package Lto17 is | |
| type Chunk_List_Element; | |
| type Chunk_List is access Chunk_List_Element; | |
| type Arr is array (Natural range <>) of Integer; | |
| type Chunk(Size : Natural) is record | |
| Data : Arr(1 .. Size); | |
| Where : Natural; | |
| end record; | |
| type Chunk_List_Element(Size : Natural) is record | |
| Chnk : Chunk(Size); | |
| Link : Chunk_List; | |
| end record; | |
| function To_Chunk_List(C : Chunk) return Chunk_List; | |
| end Lto17; |