V "GNAT Lib v15" A -O3 A -gnatA A -ffunction-sections A -fdata-sections A -gnata A -gnato1 A -gnatVa A -gnatwa A -gnatwJ A -gnatwK A -gnat2022 A -mcpu=arm1176jzf-s A -mfloat-abi=hard A -mfpu=vfpv2 A -mtls-dialect=gnu A -marm A -mlibarch=armv6kz+fp A -march=armv6kz+fp P SS ZX RN RV NO_CALENDAR RV NO_DELAY RV NO_DISPATCH RV NO_DISPATCHING_CALLS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTIONS RV NO_FINALIZATION RV NO_IMPLICIT_CONDITIONALS RV NO_STANDARD_STORAGE_POOLS RV NO_IMPLEMENTATION_PRAGMAS RV NO_ELABORATION_CODE U aws.net.websocket.protocol%s aws-net-websocket-protocol.ads 108172e8 EE OO PF PK IU Z ada.exceptions%s a-except.adb a-except.ali Z ada.streams%s a-stream.adb a-stream.ali Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali Z ada.tags%s a-tags.adb a-tags.ali W aws%s aws.ads aws.ali W aws.headers%s aws-headers.adb aws-headers.ali W aws.net.websocket%s aws-net-websocket.adb aws-net-websocket.ali W aws.response%s aws-response.adb aws-response.ali W interfaces%s interfac.ads interfac.ali Z system%s system.ads system.ali Z system.finalization_primitives%s s-finpri.adb s-finpri.ali Z system.pool_global%s s-pooglo.adb s-pooglo.ali Z system.soft_links%s s-soflin.adb s-soflin.ali D ada.ads 20250808065140 76789da1 ada%s D a-assert.ads 20250808065140 ba465f5c ada.assertions%s D a-calend.ads 20250808065140 bf7f3cc9 ada.calendar%s D a-charac.ads 20250808065140 2d3ec45b ada.characters%s D a-chlat1.ads 20250808065140 e0d72e76 ada.characters.latin_1%s D a-comlin.ads 20250808065140 4aa66568 ada.command_line%s D a-contai.ads 20250808065140 61e5e089 ada.containers%s D a-cdlili.ads 20250808065140 2434d8f6 ada.containers.doubly_linked_lists%s D a-cohata.ads 20250808065140 bea783e3 ada.containers.hash_tables%s D a-conhel.ads 20250808065140 46fe1ce3 ada.containers.helpers%s D a-cihama.ads 20250808065140 42861819 ada.containers.indefinite_hashed_maps%s D a-cihase.ads 20250808065140 b5cdb105 ada.containers.indefinite_hashed_sets%s D a-coinho.ads 20250808065140 8f8529e2 ada.containers.indefinite_holders%s D a-ciorma.ads 20250808065140 1fd25f9a ada.containers.indefinite_ordered_maps%s D a-coinve.ads 20250808065140 b20d0098 ada.containers.indefinite_vectors%s D a-crbltr.ads 20250808065140 d3d16ba4 ada.containers.red_black_trees%s D a-convec.ads 20250808065140 91fb49f3 ada.containers.vectors%s D a-direct.ads 20250808065140 467e87a1 ada.directories%s D a-envvar.ads 20250808065140 00080416 ada.environment_variables%s D a-except.ads 20250808065140 e7970cd9 ada.exceptions%s D a-finali.ads 20250808065140 bf4f806b ada.finalization%s D a-ioexce.ads 20250808065140 40018c65 ada.io_exceptions%s D a-iteint.ads 20250808065140 49a8bee2 ada.iterator_interfaces%s D a-numeri.ads 20250808065140 84bea7a3 ada.numerics%s D a-nubinu.ads 20250808065140 93f1f3d1 ada.numerics.big_numbers%s D a-nbnbig.ads 20250808065140 31ff4aa1 ada.numerics.big_numbers.big_integers_ghost%s D a-reatim.ads 20250808065140 d11673fd ada.real_time%s D a-stream.ads 20250808065140 17477cbd ada.streams%s D a-string.ads 20250808065140 90ac6797 ada.strings%s D a-secain.ads 20250808065140 37402117 ada.strings.equal_case_insensitive%s D a-strfix.ads 20250808065140 8648dedb ada.strings.fixed%s D a-strhas.ads 20250808065140 e06866e7 ada.strings.hash%s D a-shcain.ads 20250808065140 08af52df ada.strings.hash_case_insensitive%s D a-strmap.ads 20250808065140 1f91ebb6 ada.strings.maps%s D a-stmaco.ads 20250808065140 4b1f2a0b ada.strings.maps.constants%s D a-strsea.ads 20250808065140 18c3c634 ada.strings.search%s D a-sttebu.ads 20250808065140 f1ad67a2 ada.strings.text_buffers%s D a-strunb.ads 20250808065140 b10770ab ada.strings.unbounded%s D a-stuten.ads 20250808065140 c6ced0ae ada.strings.utf_encoding%s D a-tags.ads 20250808065140 fbca0ad5 ada.tags%s D a-tasatt.ads 20250808065140 a641cb7e ada.task_attributes%s D a-taside.ads 20250808065140 c0a7c8d8 ada.task_identification%s D a-taster.ads 20250808065140 fe3f8ac8 ada.task_termination%s D a-unccon.ads 20250808065140 0e9b276f ada.unchecked_conversion%s D a-uncdea.ads 20250808065140 c3a8ac65 ada.unchecked_deallocation%s D aws.ads 20250822150029 d28ddbae aws%s D aws-attachments.ads 20250822150028 2270236e aws.attachments%s D aws-client.ads 20250822150028 f468f4fb aws.client%s D aws-config.ads 20250822150028 17e5b2cd aws.config%s D aws-containers.ads 20250822150028 c7ab8288 aws.containers%s D aws-containers-memory_streams.ads 20250822150028 ea28c859 aws.containers.memory_streams%s D aws-containers-string_vectors.ads 20250822150028 b5692847 aws.containers.string_vectors%s D aws-containers-tables.ads 20250822150028 dda133b5 aws.containers.tables%s D aws-default.ads 20250822150028 9ec982b1 aws.default%s D aws-headers.ads 20250822150028 25633780 aws.headers%s D aws-messages.ads 20250822150028 0ce1462a aws.messages%s D aws-mime.ads 20250822150028 796c9a32 aws.mime%s D aws-net.ads 20250822150029 4345e169 aws.net%s D aws-net-log.ads 20250822150029 dca57234 aws.net.log%s D aws-net-ssl.ads 20250822150029 0e3b7ef4 aws.net.ssl%s D aws-net-ssl.adb 20250822150029 172950c9 aws.net.ssl%b D aws-net-ssl-certificate.ads 20250822150029 4eafed25 aws.net.ssl.certificate%s D aws-net-ssl-certificate-impl.ads 20250822150029 4789c570 aws.net.ssl.certificate.impl%s D aws-net-ssl-rsa_dh_generators.ads 20250822150029 5a71331d aws.net.ssl.rsa_dh_generators%s D aws-net-std.ads 20250822150029 956a50f7 aws.net.std%s D aws-net-std.adb 20250822150029 e3290d32 aws.net.std%b D aws-net-websocket.ads 20250822150029 d604c0d4 aws.net.websocket%s D aws-net-websocket.adb 20250822150029 30cb3be7 aws.net.websocket%b D aws-net-websocket-protocol.ads 20250822150029 e28a7cae aws.net.websocket.protocol%s D aws-net-websocket-protocol-draft76.ads 20250822150029 82f78b7e aws.net.websocket.protocol.draft76%s D aws-net-websocket-protocol-rfc6455.ads 20250822150029 827700d1 aws.net.websocket.protocol.rfc6455%s D aws-os_lib.ads 20250822150029 21ade907 aws.os_lib%s D aws-parameters.ads 20250822150029 ff4aa491 aws.parameters%s D aws-resources.ads 20250822150029 407ba395 aws.resources%s D aws-resources-streams.ads 20250822150029 95c86167 aws.resources.streams%s D aws-resources-streams-memory.ads 20250822150029 eb23d323 aws.resources.streams.memory%s D aws-resources-streams-memory-zlib.ads 20250822150029 964b70a5 aws.resources.streams.memory.zlib%s D aws-response.ads 20250822150029 907d00d3 aws.response%s D aws-session.ads 20250822150029 7ee0b17c aws.session%s D aws-status.ads 20250822150029 715df1ae aws.status%s D aws-status-set.ads 20250822150029 5dfb9c81 aws.status.set%s D aws-translator.ads 20250822150029 098e71c4 aws.translator%s D aws-url.ads 20250822150029 62bbe824 aws.url%s D aws-utils.ads 20250822150029 8ed0e56a aws.utils%s D gnat.ads 20250808065140 b5988c27 gnat%s D g-bytswa.ads 20250808065140 a4d21639 gnat.byte_swapping%s D g-os_lib.ads 20250808065140 0db74523 gnat.os_lib%s D g-regexp.ads 20250808065140 691be386 gnat.regexp%s D g-sechas.ads 20250808065140 302163b5 gnat.secure_hashes%s D g-shsh32.ads 20250808065140 ff78221c gnat.secure_hashes.sha2_32%s D g-shshco.ads 20250808065140 1144502c gnat.secure_hashes.sha2_common%s D g-sha256.ads 20250808065140 c083f050 gnat.sha256%s D g-socket.ads 20250808065140 6a480829 gnat.sockets%s D interfac.ads 20250808065140 9111f9c1 interfaces%s D i-c.ads 20250808065140 e94c966a interfaces.c%s D i-cstrin.ads 20250808065140 5409c1a4 interfaces.c.strings%s D memory_streams.ads 20250822150029 bf3b9ce5 memory_streams%s D ssl.ads 20250822150029 3abd0079 ssl%s D ssl-thin.ads 20250822150029 9f7bed1d ssl.thin%s D system.ads 20250808065140 d0bef732 system%s D s-atacco.ads 20250808065140 5868e3ba system.address_to_access_conversions%s D s-arit64.ads 20250808065140 e45973b2 system.arith_64%s D s-assert.ads 20250808065140 9c4520c7 system.assertions%s D s-atocou.ads 20250808065140 dc18efc3 system.atomic_counters%s D s-exctab.ads 20250808065140 91bef6ef system.exception_table%s D s-finpri.ads 20250808065140 5970d55a system.finalization_primitives%s D s-finroo.ads 20250808065140 0a7c3ed4 system.finalization_root%s D s-imagef.ads 20250808065140 2a557a85 system.image_f%s D s-imagei.ads 20250808065140 5e131ce0 system.image_i%s D s-imageu.ads 20250808065140 b0b50650 system.image_u%s D s-imfi64.ads 20250808065140 c2808cae system.img_fixed_64%s D s-imgint.ads 20250808065140 67e4edfb system.img_int%s D s-imglli.ads 20250808065140 d88f4f3b system.img_lli%s D s-imguns.ads 20250808065140 c4e23690 system.img_uns%s D s-linux.ads 20250808065140 34850a8c system.linux%s D s-memory.ads 20250808065140 18949c1a system.memory%s D s-multip.ads 20250808065140 38ac9f73 system.multiprocessors%s D s-oscons.ads 20251021062004 42659860 system.os_constants%s D s-osinte.ads 20250808065140 89e0af7e system.os_interface%s D s-os_lib.ads 20250808065140 dd4133ed system.os_lib%s D s-oslock.ads 20250808065140 13fa6b78 system.os_locks%s D s-parame.ads 20250808065140 3597fc11 system.parameters%s D s-pooglo.ads 20250808065140 91708d21 system.pool_global%s D s-putima.ads 20250808065140 17291fe4 system.put_images%s D s-regexp.ads 20250808065140 9c7d27a7 system.regexp%s D s-retsta.ads 20250808065140 0f6b06cb system.return_stack%s D s-secsta.ads 20250808065140 578279f5 system.secondary_stack%s D s-soflin.ads 20250808065140 5d88fdea system.soft_links%s D s-stache.ads 20250808065140 0b81c1fe system.stack_checking%s D s-stausa.ads 20250808065140 5be75682 system.stack_usage%s D s-stalib.ads 20250808065140 1c9580f6 system.standard_library%s D s-stoele.ads 20250808065140 ccded4e8 system.storage_elements%s D s-stopoo.ads 20250808065140 e9fa2dd8 system.storage_pools%s D s-stposu.ads 20250808065140 e0b9fefd system.storage_pools.subpools%s D s-stratt.ads 20250808065140 516607ae system.stream_attributes%s D s-string.ads 20250808065140 582aac7d system.strings%s D s-ststop.ads 20250808065140 c569db7c system.strings.stream_ops%s D s-tasinf.ads 20250808065140 528dde74 system.task_info%s D s-taspri.ads 20250808065140 1a856d40 system.task_primitives%s D s-taprop.ads 20250808065140 750673ca system.task_primitives.operations%s D s-taskin.ads 20250808065140 38289021 system.tasking%s D s-taprob.ads 20250808065140 acd6094d system.tasking.protected_objects%s D s-tpoben.ads 20250808065140 60ad3dae system.tasking.protected_objects.entries%s D s-tpobop.ads 20250808065140 5f548bb3 system.tasking.protected_objects.operations%s D s-tassta.ads 20250808065140 cca55c94 system.tasking.stages%s D s-traent.ads 20250808065140 c81cbf8c system.traceback_entries%s D s-unstyp.ads 20250808065140 fa2a7f59 system.unsigned_types%s D s-vaenu8.ads 20250808065140 c24e5e75 system.val_enum_8%s D s-valint.ads 20250808065140 8bab724f system.val_int%s D s-valspe.ads 20250808065140 f810d31c system.val_spec%s D s-valuns.ads 20250808065140 f7ddb71d system.val_uns%s D s-valuei.ads 20250808065140 d9377ca5 system.value_i%s D s-vaispe.ads 20250808065140 8280550e system.value_i_spec%s D s-valuen.ads 20250808065140 5bd81154 system.value_n%s D s-valueu.ads 20250808065140 a38d32a6 system.value_u%s D s-vauspe.ads 20250808065140 89269ba5 system.value_u_spec%s D s-vs_int.ads 20250808065140 06b6b724 system.vs_int%s D s-vs_lli.ads 20250808065140 b945cf7d system.vs_lli%s D s-vs_llu.ads 20250808065140 8f3536c5 system.vs_llu%s D s-vs_uns.ads 20250808065140 e7f47a27 system.vs_uns%s D s-wchcon.ads 20250808065140 d9032363 system.wch_con%s D s-wchstw.ads 20250808065140 2d112c01 system.wch_stw%s D templates_parser.ads 20250822150029 1cb5e754 templates_parser%s D templates_parser-utils.ads 20250822150029 8849593d templates_parser.utils%s D templates_parser_tasking.ads 20250822150029 4c0209f0 templates_parser_tasking%s D zlib.ads 20250822150029 0714e1ed zlib%s G a e G c Z s s [check_connect_response aws__net__websocket__protocol 80 13 none] G c Z s s [stateDA aws__net__websocket__protocol 38 9 none] G c Z s s [stateDF aws__net__websocket__protocol 38 9 none] G c Z s s [stateIP aws__net__websocket__protocol 38 9 none] X 10 a-conhel.ads 84R12 Reference_Control_Type<21|43R9> X 23 a-iteint.ads 24h9 Forward_Iterator 32h9 Reversible_Iterator<24R9[17|119]> X 28 a-stream.ads 42M9*Stream_Element 44I9*Stream_Element_Offset 69|68r22 54A9*Stream_Element_Array(42M9)<44I9> 69|46r18 67r22 X 38 a-strunb.ads 105R9*Unbounded_String<21|43R9> 1620e15 69|53r18 X 46 aws.ads 32K9*AWS 41e8 69|32r6 33r6 36r9 77r25 82r26 83r26 87r5 X 55 aws-headers.ads 35K13*Headers 102e16 69|32w10 77r29 82r30 37R9*List<53|42R9> 97e70 69|77r37 82r38 X 58 aws-net.ads 44K13*Net 46|32k9 58|501e12 69|36r13 87r9 X 67 aws-net-websocket.ads 42K17*WebSocket 58|44k13 67|415e22 69|36r17 87r13 46R9*Object<58|54R9> 294e14 69|45r18 52r18 59r18 66r18 X 69 aws-net-websocket-protocol.ads 36K27*Protocol 67|42k17 69|87l23 87e31 38H9*State 38e45 39r35 43p14 44r25 50p14 51r25 57p14 58r25 64p14 65r25 71p13 . 71r40 74p14 75r18 80p13 81r26 39P9*State_Class(38R9) 41M12*Status_Code{94|84M9} 61r18 43x14*Send 44=7 45>7 46>7 44r7 Protocol{38R9} 45r7 Socket{67|46R9} 46a7 Data{28|54A9} 50x14*Send 51=7 52>7 53>7 51r7 Protocol{38R9} 52r7 Socket{67|46R9} 53r7 Data{38|105R9} 57x14*Close 58=7 59>7 60>7 61>7 58r7 Protocol{38R9} 59r7 Socket{67|46R9} 60a7 Data{string} 61m7 Error{41M12} 64x14*Receive 65=7 66>7 67<7 68<7 65r7 Protocol{38R9} 66r7 Socket{67|46R9} 67a7 Data{28|54A9} 68i7 Last{28|44I9} 71y13*End_Of_Message{boolean} 71>29 71r29 Protocol{38R9} 74x14*Add_Connect_Headers 75>7 76>7 77=7 75r7 Protocol{38R9} 76a7 Host{string} 77r7 Headers{55|37R9} 80V13*Check_Connect_Response{boolean} 80b13 81>7 82>7 83>7 81r7 Protocol_Ignored{38R9} 82r7 Request_Ignored{55|37R9} 83r7 Response_Ignored{78|59R9} X 78 aws-response.ads 51K13*Response 69|33w10 83r30 78|455e17 59R9*Data<21|43R9> 69|83r39 78|446e14 X 94 interfac.ads 47K9*Interfaces 69|34w6 41r27 94|247e15 68I9*Integer_64 84M9*Unsigned_16 69|41r38 X 100 system.ads 67M9*Address 81V14*"="{boolean} 11|47i19 X 102 s-arit64.ads 59I12*Int64{94|68I9} 108V13*Multiply_With_Ovflo_Check64{59I12} 112i22 X 116 s-memory.ads 51V13*Alloc{100|67M9} 101i22 66U14*Free 102i22 74V13*Realloc{100|67M9} 103i22 X 130 s-stausa.ads 207U14*Initialize 208i22 272U14*Output_Results 276i22