V "GNAT Lib v4.9"
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_ACCESS_SUBPROGRAMS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U system.task_primitives%s  s-taspri.ads	6775cf21 NE OL PR PK
W system%s		system.ads		system.ali

D system.ads		20160804194326 462fcf90
D s-taspri.ads		20110927124500 215a00b1
X 1 system.ads
42K9*System 160e11 2|38r9 55r28 67r5
69M9*Address 2|55r35
X 2 s-taspri.ads
38K16*Task_Primitives 1|42k9 2|67l12 67e27
41I9*Lock<integer>
43I9*RTS_Lock<integer> 52r24
45I9*Suspension_Object<integer>
47P9*Task_Body_Access
49R9*Private_Data 53e14
50i7*Thread{integer}
51i7*CV{integer}
52i7*L{43I9}
55M12*Task_Address{1|69M9}
61N4*Task_Address_Size
64N4*Alternate_Stack_Size