7 type Byte_Arr1 is array (Positive range <>) of Byte;
8 for Byte_Arr1'Alignment use 4;
10 type Byte_Arr2 is array (Positive range <>) of Byte;
12 function Length return Natural is
17 function Empty return Byte_Arr2 is
18 Null_Arr : Byte_Arr2 (1 .. 0);
23 A1 : Byte_Arr1 (1 .. Length);
25 A2 : Byte_Arr2 (A1'Range);
26 for A2'Alignment use 4;
27 for A2'Address use A1'Address;