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_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE

U aws.net.websocket.protocol.draft76%b  aws-net-websocket-protocol-draft76.adb  3ba3d9d5 OO PK IU
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
W ada.strings.maps.constants%s  a-stmaco.ads	a-stmaco.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W aws%s			aws.ads			aws.ali
W aws.headers%s		aws-headers.adb		aws-headers.ali
W aws.messages%s	aws-messages.adb	aws-messages.ali
W aws.net%s		aws-net.adb		aws-net.ali
W aws.net.buffered%s	aws-net-buffered.adb	aws-net-buffered.ali
W aws.net.websocket.protocol%s  aws-net-websocket-protocol.ads  aws-net-websocket-protocol.ali
W aws.translator%s	aws-translator.adb	aws-translator.ali
W gnat%s		gnat.ads		gnat.ali
W gnat.byte_swapping%s	g-bytswa.adb		g-bytswa.ali
W gnat.md5%s		g-md5.ads		g-md5.ali
W system%s		system.ads		system.ali
Z system.finalization_primitives%s  s-finpri.adb  s-finpri.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.soft_links%s	s-soflin.adb		s-soflin.ali
Z system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali
Z system.val_int%s	s-valint.ads		s-valint.ali
Z system.val_uns%s	s-valuns.ads		s-valuns.ali

U aws.net.websocket.protocol.draft76%s  aws-net-websocket-protocol-draft76.ads  607df7d0 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.net.websocket.protocol%s  aws-net-websocket-protocol.ads  aws-net-websocket-protocol.ali
Z system%s		system.ads		system.ali
Z system.return_stack%s	s-retsta.ads		s-retsta.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.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-textio.ads		20250808065140 34ef47de ada.text_io%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-buffered.ads	20250822150029 98a7e729 aws.net.buffered%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-draft76.adb  20250822150029 b13600bc aws.net.websocket.protocol.draft76%b
D aws-net-websocket-protocol-rfc6455.ads  20250822150029 827700d1 aws.net.websocket.protocol.rfc6455%s
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-md5.ads		20250808065140 bb55398e gnat.md5%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-sehamd.ads		20250808065140 d714f185 gnat.secure_hashes.md5%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 i-cstrea.ads		20250808065140 ffd01b9d interfaces.c_streams%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-crtl.ads		20250808065140 beb39b9e system.crtl%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-ficobl.ads		20250808065140 dc5161d4 system.file_control_block%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 [send aws__net__websocket__protocol__draft76 37 25 none]
G c Z s b [send aws__net__websocket__protocol__draft76 43 25 none]
G c Z s s [close aws__net__websocket__protocol__draft76 50 25 none]
G c Z s b [receive aws__net__websocket__protocol__draft76 57 25 none]
G c Z s b [end_of_message aws__net__websocket__protocol__draft76 64 24 none]
G c Z s b [send_header aws__net__websocket__protocol__draft76 67 14 none]
G c Z s b [add_connect_headers aws__net__websocket__protocol__draft76 71 25 none]
G c Z s s [stateDA aws__net__websocket__protocol__draft76 35 9 none]
G c Z s s [stateDF aws__net__websocket__protocol__draft76 35 9 none]
G c Z s s [stateIP aws__net__websocket__protocol__draft76 35 9 none]
G r c none [send aws__net__websocket__protocol__draft76 37 25 none] [write aws__net__buffered 51 14 none]
G r c none [send aws__net__websocket__protocol__draft76 37 25 none] [flush aws__net__buffered 55 14 none]
G r c none [send aws__net__websocket__protocol__draft76 43 25 none] [to_stream_element_array aws__translator 144 13 none]
G r c none [send aws__net__websocket__protocol__draft76 43 25 none] [write aws__net__buffered 51 14 none]
G r c none [send aws__net__websocket__protocol__draft76 43 25 none] [flush aws__net__buffered 55 14 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [header aws__status 107 13 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [get_values aws__headers 73 13 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [binary_data aws__status 212 13 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [host aws__status 129 13 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [uri aws__status 79 13 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [put_line aws__net__buffered 44 14 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [origin aws__status 171 13 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [new_line aws__net__buffered 48 14 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [put aws__net__buffered 41 14 none]
G r c none [send_header aws__net__websocket__protocol__draft76 67 14 none] [flush aws__net__buffered 55 14 none]
G r s state [stateIP aws__net__websocket__protocol__draft76 35 9 none] [stateIP aws__net__websocket__protocol 38 9 none]
X 1 ada.ads
18K9*Ada 22e8 73|30r6 31r6 44r8
X 10 a-conhel.ads
84R12 Reference_Control_Type<21|43R9>
X 20 a-except.ads
94V13*Exception_Information{string} 73|106s45
X 23 a-iteint.ads
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[15|84]>
X 28 a-stream.ads
42M9*Stream_Element
44I9*Stream_Element_Offset<long_long_integer> 72|61r22 73|79r22 83r17
54A9*Stream_Element_Array(42M9)<44I9> 72|40r18 60r22 73|78r22 82r17 116r18
. 119r27 120r27 198r12 207r12 213r21 218r12
X 29 a-string.ads
16K13*Strings 35e16 73|30r10 173r16 174r25
X 34 a-strmap.ads
51K21*Maps 650e21 73|30r18 173r24 174r33
62A9*Character_Set<370A9>
181V13*Is_In{boolean} 73|173s29
370A9 Character_Set_Internal(boolean)<character>
X 35 a-stmaco.ads
38K26*Constants 915e31 73|30w23 174r38
48a4*Decimal_Digit_Set{34|62A9} 73|174r48
X 38 a-strunb.ads
105R9*Unbounded_String<21|43R9> 1620e15 72|46r18 73|135r18
135V13*To_String{string} 73|139s46
X 44 a-textio.ads
58K13*Text_IO 785e16 73|31w10 44r12
565U14*Put_Line 73|89s10 106s10 224s10
X 47 aws.ads
32K9*AWS 41e8 72|33r9 68r47 74r25 77r5 73|37r6 38r6 39r6 40r6 42r14 53r25
. 103r12 147r47 152r26 152r46 214r14 231r10 233r12 234r12 238r10 239r19 280r5
X 56 aws-headers.ads
35K13*Headers 102e16 72|74r29 73|37w10 53r29 152r30
37R9*List<54|42R9> 97e70 72|74r37 73|53r37 152r38
73V13*Get_Values{string} 73|196s22 205s22
X 57 aws-messages.ads
36K13*Messages 401e17 73|38w10 196r34 205r34 231r14 238r14
160a4*Sec_WebSocket_Key1_Token{string} 73|196r43
161a4*Sec_WebSocket_Key2_Token{string} 73|205r43
163a4*Sec_WebSocket_Origin_Token{string} 73|238r23
164a4*Sec_WebSocket_Location_Token{string} 73|231r23
X 59 aws-net.ads
44K13*Net 47|32k9 59|501e12 72|33r13 68r14 77r9 73|39r10 42r18 103r16 122r7
. 126r7 128r7 129r7 147r14 229r7 236r7 243r7 273r13 277r7 280r9
50X4*Socket_Error 73|103r20
54H9*Socket_Type<21|43R9> 471e14 72|68r18 73|147r18
55P9*Socket_Access(54R9)
175x14*Receive 73|86R21 94R27
X 60 aws-net-buffered.ads
35K17*Buffered 142e21 73|39w14 122r11 126r11 128r11 129r11 229r11 236r11
. 243r11 273r17 277r11
41U14*Put 73|273s26
44U14*Put_Line 73|229s20 236s20
48U14*New_Line 73|243s20
51U14*Write 73|122s20 126s20 128s20
55U14*Flush 73|129s20 277s20
X 69 aws-net-websocket.ads
42K17*WebSocket 59|44k13 69|415e22 72|33r17 77r13 73|42r22 280r13
46R9*Object<59|54R9> 294e14 72|39r18 45r18 52r18 59r18 73|77r18 115r18 134r18
280p7 Socket{59|55P9} 73|86r14 94r20
X 71 aws-net-websocket-protocol.ads
36K27*Protocol 69|42k17 71|87e31 72|33r27 35r22 77r23 73|42r32 280r23
38H9*State 38e45 72|35r31
41M12*Status_Code{99|84M9} 72|54r18
80V13*Check_Connect_Response{boolean}
X 72 aws-net-websocket-protocol-draft76.ads
33K36*Draft76 71|36k27 72|77l32 77e39 73|42b41 280l32 280t39
35R9*State<71|38R9> 71|80p13 72|35e53 37P25 38r25 43P25 44r25 50P25 51r25
. 57P25 58r25 64P24 64r51 71P25 72r18 73|51r18 65r51 76r25 114r25 133r25
37U25*Send<71|43p14> 38=7 39>7 40>7 73|113b25 130l8 130t12 137s7
38r7 Protocol{35R9} 73|114b7 118r28
39r7 Socket{69|46R9} 73|115b7 122r27 126r27 128r27 129r27
40a7 Data{28|54A9} 73|116b7 126r35
43U25*Send<71|50p14> 44=7 45>7 46>7 73|132b25 140l8 140t12
44r7 Protocol{35R9} 73|133b7 138m10
45r7 Socket{69|46R9} 73|134b7 138r20
46r7 Data{38|105R9} 73|135b7 139r57
50U25*Close<71|57p14> 51=7 52>7 53>7 54>7
51r7 Protocol{35R9}
52r7 Socket{69|46R9}
53a7 Data{string}
54m7 Error{71|41M12}
57U25*Receive<71|64p14> 58=7 59>7 60<7 61<7 73|75b25 107l8 107t15
58r7 Protocol{35R9} 73|76b7 81r28
59r7 Socket{69|46R9} 73|77b7 86r7 94r13
60a7 Data{28|54A9} 73|78b7 91r18 97m13
61i7 Last{28|44I9} 73|79b7 91m10 97r19 98m13 98r21
64V24*End_Of_Message{boolean}<71|71p13> 64>40 73|65b24 69l8 69t22
64r40 Protocol{35R9} 73|65b40 66r28
67U14*Send_Header 68>7 68>37 73|146b14 278l8 278t19
68c7 Sock<59|54R9> 73|147b7 230r10 237r10 243r30 273r31 277r27
68r37 Request{83|58R9} 73|147b37 152r65 214r38 233r29 234r28 239r38
71U25*Add_Connect_Headers<71|74p14> 72>7 73>7 74=7 73|50b25 59l8 59t27
72r7 Protocol{35R9} 73|51b7 55r28
73a7 URI{string} 73|52b7 55r38
74r7 Headers{56|37R9} 73|53b7 55r43
X 73 aws-net-websocket-protocol-draft76.adb
82a7 Byte{28|54A9} 86m30 88r10 88r16 94m36 95r23 95r29 97r28 97r34
83i7 Ignored{28|44I9} 85m7 86m36 93m13 94m42
105r12 E{20|53R9} 106r68
119a7 D_Header{28|54A9} 122r35
120a7 D_Footer{28|54A9} 128r35
152r7 Headers{56|37R9} 196r14 205r14
154V16 WS_Key_Value{99|92M9} 154>30 161b16 191l11 191t23 197s47 206s47
154a30 Key{string} 161b30 166r32 172r19 174r16 177r25 179r19
163m10 Spaces{99|92M9} 180m16 180r26 189r28
164m10 Value{99|92M9} 184m10 189r20
165m10 Result{99|92M9} 189m10 190r17
166a10 N{string} 177m16 184r49 184r52
167i10 I{natural} 176m16 176r21 177r19 184r63
172i14 K{integer} 174r21 177r30 179r24
195a7 K1{string} 197r61
197m7 V1{99|92M9} 199r26
198a7 B1{28|54A9} 199m11 199r11 200m27 200r27 251m31 251r31 257r22
204a7 K2{string} 206r61
206m7 V2{99|92M9} 208r26
207a7 B2{28|54A9} 208m11 208r11 209m27 209r27 252m31 252r31 258r22
213a7 B{28|54A9} 223r10 259r22
216r7 C{93|134R12[90|42]} 257m19 257r19 258m19 258r19 259m19 259r19 261r24
217a7 D{93|178A15[90|42]} 218r39 219m25 219r25 261m7 269r24 271r41
218a7 S{28|54A9} 219m11 219r11 220m27 220r27
266i10 V{natural} 271m13 273r65
267i10 S{natural} 270m13 271r44 271r49
269i14 K{integer} 270r18
X 83 aws-status.ads
52K13*Status 72|68r51 73|147r51 152r50 214r18 233r16 234r16 239r23 83|405e15
58R9*Data 72|68r58 73|147r58 83|403e14
79V13*URI{string} 73|234s23
107V13*Header{56|37R9} 73|152s57
129V13*Host{string} 73|233s23
171V13*Origin{string} 73|239s30
212V13*Binary_Data{28|54A9} 73|214s25
X 85 aws-translator.ads
38K13*Translator 73|40w10 139r10 85|180e19
144V13*To_Stream_Element_Array{28|54A9} 73|139s21
X 88 gnat.ads
40K9*GNAT 73|34r6 35r6 149r11 88|63e9
X 89 g-bytswa.ads
162K14*Byte_Swapping 73|34w11 251r10 252r10 89|206e23
196U14*Swap4 73|251s24 252s24
X 90 g-md5.ads
42K14*MD5[93|126] 73|35w11 216r12 217r12 257r7 258r7 259r7 261r12
X 93 g-sechas.ads
134R12*Context 73|216r16[90|42]
152U17*Update 73|257s11[90|42] 258s11[90|42] 259s11[90|42]
178A15*Message_Digest{string}<integer> 73|217r16[90|42]
182V16*Digest{178A15[90|42]} 73|261s16[90|42]
X 99 interfac.ads
47K9*Interfaces 73|154r51 161r51 162r19 163r19 164r19 165r19 184r19 197r21
. 206r21 99|247e15
68I9*Integer_64<long_long_integer>
84M9*Unsigned_16
92M9*Unsigned_32 73|154r62 161r62 162r30 163r30 164r30 165r30 184r30 197r32
. 206r32
X 106 system.ads
37K9*System 73|32w6 150r11 106|156e11
67M9*Address
81V14*"="{boolean} 11|47i19
91n41*Low_Order_First{91E9} 73|250r30
92e4*Default_Bit_Order{91E9} 73|250r10
X 108 s-arit64.ads
59I12*Int64{99|68I9}
108V13*Multiply_With_Ovflo_Check64{59I12} 112i<c,__gnat_mulv64>22
X 125 s-memory.ads
51V13*Alloc{106|67M9} 101i<c,__gnat_malloc>22
66U14*Free 102i<c,__gnat_free>22
74V13*Realloc{106|67M9} 103i<c,__gnat_realloc>22
X 139 s-stausa.ads
207U14*Initialize 208i<c,__gnat_stack_usage_initialize>22
272U14*Output_Results 276i<c,__gnat_stack_usage_output_results>22