4 procedure align_check is
5 N_Allocated_Buffers : Natural := 0;
7 function New_Buffer (N_Bytes : Natural) return System.Address is
9 N_Allocated_Buffers := N_Allocated_Buffers + 1;
10 return System.Null_Address;
13 Buffer_Address : constant System.Address := New_Buffer (N_Bytes => 8);
15 for N'Address use Buffer_Address;
18 if N_Allocated_Buffers /= 1 then