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 43I9*RTS_Lock 52r24 45I9*Suspension_Object 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