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 -march=armv8-a A -mlittle-endian A -mabi=lp64 P SS ZX RN RV NO_CALENDAR RV NO_DELAY RV NO_DISPATCH RV NO_FINALIZATION RV NO_IMPLEMENTATION_PRAGMAS U aws.net.websocket.registry.utils%b aws-net-websocket-registry-utils.adb 5ffd0c30 NE OO PK IU Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali W aws.net.websocket.registry%s aws-net-websocket-registry.adb aws-net-websocket-registry.ali Z system.assertions%s s-assert.adb s-assert.ali U aws.net.websocket.registry.utils%s aws-net-websocket-registry-utils.ads 3a8fed25 EE NE OO PK IU W aws.net.websocket.registry%s aws-net-websocket-registry.adb aws-net-websocket-registry.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-net-websocket-registry.ads 20250822150029 7b67adf9 aws.net.websocket.registry%s D aws-net-websocket-registry-utils.ads 20250822150029 41e840dc aws.net.websocket.registry.utils%s D aws-net-websocket-registry-utils.adb 20250822150029 1e154cec aws.net.websocket.registry.utils%b D aws-os_lib.ads 20250822150029 3dff7682 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-imgllli.ads 20250808065140 404e72c5 system.img_llli%s D s-imgllu.ads 20250808065140 55ba53d8 system.img_llu%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 20251019144612 5fab350e 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 1e109e82 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-vsllli.ads 20250808065140 3a5ba700 system.vs_llli%s D s-vslllu.ads 20250808065140 678200a0 system.vs_lllu%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 b [register aws__net__websocket__registry__utils 34 13 none] G c Z s b [watch aws__net__websocket__registry__utils 39 14 none] G r c none [register aws__net__websocket__registry__utils 34 13 none] [register aws__net__websocket__registry 210 13 none] G r c none [watch aws__net__websocket__registry__utils 39 14 none] [watch aws__net__websocket__registry 214 14 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 46 aws.ads 32K9*AWS 41e8 73|32r9 42r5 74|32r14 52r5 X 58 aws-net.ads 44K13*Net 46|32k9 58|501e12 73|32r13 42r9 74|32r18 40r14 49r7 52r9 X 67 aws-net-websocket.ads 42K17*WebSocket 58|44k13 67|415e22 73|32r17 42r13 74|32r22 40r18 49r11 52r13 46R9*Object<58|54R9> 294e14 73|34r35 74|38r35 47P9*Object_Class(46R9) 73|34r56 39r40 74|38r56 47r40 X 72 aws-net-websocket-registry.ads 39K27*Registry 67|42k17 72|218e31 73|32r27 42r23 74|32r32 40r28 49r21 52r23 210V13 Register{67|47P9} 74|40s37 214U14 Watch 74|49s30 X 73 aws-net-websocket-registry-utils.ads 32K36*Utils 72|39k27 73|42l32 42e37 74|32b41 52l32 52t37 34V13*Register{67|47P9} 34>23 74|38b13 41l8 41t16 34c23 WebSocket<67|46R9> 74|38b23 40r47 39U14*Watch 39=21 74|47b14 50l8 50t13 39p21 WebSocket{67|47P9} 40r13 74|47b21 49m37 X 97 interfac.ads 68I9*Integer_64 X 103 system.ads 67M9*Address 81V14*"="{boolean} 11|47i19 X 105 s-arit64.ads 59I12*Int64{97|68I9} 108V13*Multiply_With_Ovflo_Check64{59I12} 112i22 X 120 s-memory.ads 51V13*Alloc{103|67M9} 101i22 66U14*Free 102i22 74V13*Realloc{103|67M9} 103i22 X 134 s-stausa.ads 207U14*Initialize 208i22 272U14*Output_Results 276i22