V "GNAT Lib v4.7"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=i486
P ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnvnnnnnnvnnnnnnnnnnnnnn

U system.restrictions%b	s-restri.adb		386436bc NE OL PK
W system%s		system.ads		system.ali

U system.restrictions%s	s-restri.ads		4cca71a3 BN NE OL PR PK
W system%s		system.ads		system.ali
W system.rident%s

D system.ads		20110829101445 0007c12a
D s-restri.ads		20110919082137 ba60cf37
D s-restri.adb		20091130110856 8204f98b
D s-rident.ads		20111121114544 f6ad7fbe
X 1 system.ads
37K9*System 143e11 2|43r6 45r9 49r26 76r5 3|34r14 59r5
X 2 s-restri.ads
45K16*Restrictions 1|37k9 2|76l12 76e24 3|34b21 59l12 59t24
49K12*Rident[4|47] 51r28 3|35r8
51r4*Run_Time_Restrictions{4|273R9[49]} 3|43r14 45r14 54r14 56r14
64V13*Abort_Allowed{boolean} 65r19 3|41b13 46l8 46t21
70V13*Tasking_Allowed{boolean} 71r19 3|52b13 57l8 57t23
X 4 s-rident.ads
47k16*Rident 2|43w13 49r33 4|460e18
57E9*Restriction_Id
64n7*No_Abort_Statements{57E9[2|49]} 3|43r46[2|49]
114n7*No_Tasking{57E9[2|49]} 3|56r46[2|49]
168n7*Max_Tasks{57E9[2|49]} 3|54r46[2|49]
175n7*Max_Asynchronous_Select_Nesting{57E9[2|49]} 3|45r46[2|49]
269A9*Restriction_Flags(boolean)<57E9[2|49]>
273R9*Restrictions_Info 2|51r35[49]
287a7*Violated{269A9[2|49]} 3|43r36[2|49] 45r36[2|49] 54r36[2|49] 56r36[2|49]

