V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P

RN
RV NO_EXCEPTIONS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U system.atomic_counters%b  s-atocou.adb	92c59a76 NE OL PK
W system%s		system.ads		system.ali

U system.atomic_counters%s  s-atocou.ads	0cb3a324 BN NE OL PR PK
W system%s		system.ads		system.ali

D system.ads		20150624111858 462fcf90
D s-atocou.ads		20111104164502 4a9c6cb4
D s-atocou.adb		20110805163504 d859f6c2
X 1 system.ads
42K9*System 160e11 2|42r9 77r5 3|39r14 70r5
X 2 s-atocou.ads
42K16*Atomic_Counters 1|42k9 2|77l12 77e27 3|39b21 70l12 70t27
46R9*Atomic_Counter 56r39 60r38 64r28 72c9 3|45r38 55r39 64r28
56U14*Increment 56=25 57r26 3|55b14 58l8 58t17
56r25 Item{46R9} 3|55b25
60V13*Decrement{boolean} 60=24 61r26 3|45b13 49l8 49t17
60r24 Item{46R9} 3|45b24
64V13*Is_One{boolean} 64>21 65r26 3|64b13 68l8 68t14
64r21 Item{46R9} 3|64b21
70M9 Unsigned_32 73r23
73m7*Value{70M9}