V "GNAT Lib v4.6"
A -gnatwa
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=x86-64
P ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnnnnnn

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		b573990b BN NE OL PR PK
W system%s		system.ads		system.ali
W system.rident%s

D system.ads		20110108175836 4d91f046
D s-restri.ads		20110108175833 ba60cf37
D s-restri.adb		20110108175833 8204f98b
D s-rident.ads		20110108175833 4282a67a
X 1 system.ads
38K9*System 147e11 2|43r6 45r9 49r26 73r5 3|34r14 59r5
X 2 s-restri.ads
45K16*Restrictions 1|38k9 2|73l12 73e24 3|34b21 59l12 59t24
49K12*Rident[4|45] 51r28 3|35r8
51r4*Run_Time_Restrictions{4|258R9[49]} 3|43r14 45r14 54r14 56r14
61V13*Abort_Allowed{boolean} 62r19 3|41b13 46l8 46t21
67V13*Tasking_Allowed{boolean} 68r19 3|52b13 57l8 57t23
X 4 s-rident.ads
45k16*Rident 2|43w13 49r33 4|420e18
55E9*Restriction_Id
62n7*No_Abort_Statements{55E9[2|49]} 3|43r46[2|49]
112n7*No_Tasking{55E9[2|49]} 3|56r46[2|49]
153n7*Max_Tasks{55E9[2|49]} 3|54r46[2|49]
160n7*Max_Asynchronous_Select_Nesting{55E9[2|49]} 3|45r46[2|49]
254A9*Restriction_Flags(boolean)<55E9[2|49]>
258R9*Restrictions_Info 2|51r35[49]
272a7*Violated{254A9[2|49]} 3|43r36[2|49] 45r36[2|49] 54r36[2|49] 56r36[2|49]

