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