V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV SPARK_05 U ada.containers.synchronized_queue_interfaces%s a-csquin.ads ed9465e4 NE OL PU PK GE W ada.containers%s a-contai.ads a-contai.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-contai.ads 20151020122137 61e5e089 ada.containers%s D a-csquin.ads 20150522102000 8c71856d ada.containers.synchronized_queue_interfaces%s D a-tags.ads 20151016130316 01f5e3ef ada.tags%s D system.ads 20151123113124 2da59038 system%s D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s X 1 ada.ads 16K9*Ada 19e8 3|37r9 56r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 3|37r13 56r9 20I9*Count_Type 3|52r52 54r49 X 3 a-csquin.ads 35+9 Element_Type 44r19 49r23 37k24*Synchronized_Queue_Interfaces 2|16k13 3|35z9 56l20 56e49 40h9*Queue 42p14 43r26 47p14 48r26 52p13 52r38 54p13 54r35 42x14*Enqueue 43=7 44>7 43r7 Container{40R9} 44*7 New_Item{35+9} 47x14*Dequeue 48=7 49<7 48r7 Container{40R9} 49*7 Element{35+9} 52y13*Current_Use{2|20I9} 52>26 52r26 Container{40R9} 54y13*Peak_Use{2|20I9} 54>23 54r23 Container{40R9}