1V "GNAT Lib v9" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P ZX 13 14RN 15RV NO_EXCEPTIONS 16RV NO_IMPLICIT_CONDITIONALS 17RV NO_STANDARD_STORAGE_POOLS 18RV NO_UNCHECKED_CONVERSION 19RV NO_DEFAULT_INITIALIZATION 20RV NO_DYNAMIC_SIZED_OBJECTS 21RV NO_IMPLEMENTATION_ATTRIBUTES 22RV NO_IMPLICIT_LOOPS 23RV SPARK_05 24 25U gnat.sockets.thin_common%b g-sothco.adb 305d23a5 NE OL PK 26Z ada.exceptions%s a-except.adb a-except.ali 27Z ada.tags%s a-tags.adb a-tags.ali 28W gnat.sockets%s g-socket.adb g-socket.ali 29 30U gnat.sockets.thin_common%s g-sothco.ads fdbccd6b BN EE NE OL PK 31W ada%s ada.ads ada.ali 32Z ada.tags%s a-tags.adb a-tags.ali 33W ada.unchecked_conversion%s 34W gnat.sockets%s g-socket.adb g-socket.ali 35W interfaces%s interfac.ads interfac.ali 36W interfaces.c%s i-c.adb i-c.ali 37W interfaces.c.strings%s i-cstrin.adb i-cstrin.ali 38 39D ada.ads 20170911084841 76789da1 ada%s 40D a-except.ads 20190108095404 291912d5 ada.exceptions%s 41D a-finali.ads 20190108095404 bf4f806b ada.finalization%s 42D a-stream.ads 20190108095404 119b8fb3 ada.streams%s 43D a-tags.ads 20190108095404 491b781d ada.tags%s 44D a-unccon.ads 20170908151217 0e9b276f ada.unchecked_conversion%s 45D a-uncdea.ads 20170908151217 eff36322 ada.unchecked_deallocation%s 46D gnat.ads 20190108095404 b5988c27 gnat%s 47D g-socket.ads 20190108095404 b63a5f09 gnat.sockets%s 48D g-sothco.ads 20190108095404 7100b8d2 gnat.sockets.thin_common%s 49D g-sothco.adb 20190108095404 415d9b77 gnat.sockets.thin_common%b 50D interfac.ads 20190108095404 5ab55268 interfaces%s 51D i-c.ads 20170908151217 5421119b interfaces.c%s 52D i-cstrin.ads 20190108095404 341d0ddf interfaces.c.strings%s 53D system.ads 20190108095404 c631886f system%s 54D s-exctab.ads 20190108095404 54135002 system.exception_table%s 55D s-finmas.ads 20190108095404 7811a767 system.finalization_masters%s 56D s-finroo.ads 20190108095404 4ff27390 system.finalization_root%s 57D s-oscons.ads 20190530223756 55351b7b system.os_constants%s 58D s-parame.ads 20190108095404 48ec542b system.parameters%s 59D s-pooglo.ads 20190108095404 ede33ef8 system.pool_global%s 60D s-secsta.ads 20190108095404 20bbe636 system.secondary_stack%s 61D s-soflin.ads 20190108095404 a7318a92 system.soft_links%s 62D s-stache.ads 20190108095404 a37c21ec system.stack_checking%s 63D s-stalib.ads 20190108095404 09bd3940 system.standard_library%s 64D s-stoele.ads 20190108095404 2dc34a04 system.storage_elements%s 65D s-stopoo.ads 20190108095404 b16154c2 system.storage_pools%s 66D s-traent.ads 20190108095404 005bf670 system.traceback_entries%s 67X 1 ada.ads 6816K9*Ada 20e8 10|35r6 132r31 133r31 69X 6 a-unccon.ads 7020v14*Unchecked_Conversion 10|35w10 132r35 133r35 71X 8 gnat.ads 7234K9*GNAT 57e9 10|38r9 473r5 11|32r14 188r5 73X 9 g-socket.ads 7455K14*Sockets 8|34k9 9|1472e17 10|38r14 473r10 11|32r19 188r10 75370K12*SOSC=370:32 10|47r23 48r23 49r28 53r23 54r23 55r33 67r36 68r32 77r35 76. 78r35 79r35 83r35 84r35 199r50 229r50 313r23 314r23 315r23 316r23 317r23 77. 318r23 319r23 320r23 350r24 428r13 449r33 450r33 11|63r13 67r18 68r18 94r46 78456X4*Socket_Error 11|117r13 79472E9*Family_Type 472e66 10|76r31 81r31 115r27 151r28 11|91r27 80472n25*Family_Inet{472E9} 10|78r18 83r18 151r43 159r12 11|47r15 68r35 74r15 81. 110r24 82472n38*Family_Inet6{472E9} 10|79r18 84r18 168r12 11|49r15 67r35 76r15 148r28 83472n52*Family_Unspec{472E9} 10|77r18 82r18 172r12 11|52r15 69r35 78r15 79r39 84492I9*Port_Type<integer> 11|71r22 85501M9*Inet_Addr_Comp_Type 11|128r28 129r28 130r28 131r28 145r24 86507A9*Inet_Addr_Bytes(501M9)<integer> 87509A12*Inet_Addr_V4_Type{507A9}<integer> 88511A12*Inet_Addr_V6_Type{507A9}<integer> 11|142r16 89517R9*Inet_Addr_Type 529e14 10|135r32 138r20 145r33 148r20 11|108r32 126r20 90. 140r20 155r33 91517e25*Family{472E9} 11|110r15 92520a13*Sin_V4{509A12} 11|111r48 112r48 113r48 114r48 128m14 129m14 130m14 93. 131m14 94523a13*Sin_V6{511A12} 11|148m42 158r21 159r46 95597R9*Sock_Addr_Type 600e14 10|186r17 191r49 11|40r17 61r49 65r16 96597e25*Family{472E9} 11|43r43 46r20 97598r7*Addr{517R9} 11|48r49 50r51 75m48 77m49 79m20 98599i7*Port{492I9} 11|44r67 71m14 991348A9*Fd_Set<26|70A9> 10|362r23 372r23 377r32 383r21 391r51 394r45 100X 10 g-sothco.ads 10138K22*Thin_Common 9|55k14 10|442E43 473l18 473e29 11|32b27 188l18 188t29 10240K12*C=40:33 41r23 43r23 44r23 76r47 81r47 103r27 104r27 107r28 124r32 126r30 103. 132r57 133r66 141r40 142r31 155r18 163r21 163r57 213r31 216r34 219r34 222r35 104. 243r35 246r34 268r18 271r18 272r34 272r48 276r19 277r19 280r19 281r35 281r49 105. 284r16 285r16 288r16 288r30 291r16 292r16 295r16 295r30 303r22 304r22 305r22 106. 306r22 313r59 314r59 315r59 316r59 327r57 335r17 337r17 338r17 338r31 340r37 107. 348r24 352r24 353r24 363r23 364r23 373r16 378r16 378r30 384r21 391r68 401r39 108. 416r13 418r36 421r14 427r13 429r20 429r34 432r11 432r36 437r11 437r36 11|44r41 109. 62r25 64r15 93r18 98r44 100r44 111r26 112r26 113r26 114r26 159r24 169r35 110. 169r60 184r17 11141K12*CS=41:25 309r22 324r17 325r17 334r17 336r17 340r51 423r14 424r32 11243i4*Success{13|35I9} 11344i4*Failure{13|35I9} 11446I9*time_t<long_integer> 49r8 50r26 59r17 11552I9*suseconds_t<long_integer> 55r8 56r26 60r17 11658R9*Timeval 61e14 62r26 64r38 70r24 11759i7*Tv_Sec{46I9} 11860i7*Tv_Usec{52I9} 11964P9*Timeval_Access(58R9) 65r26 12067M9*socklen_t 68r8 307r22 317r59 333r17 424r14 12170r4*Immediat{58R9} 12276a4*Families(13|35I9) 11|93r32 12381a4*Lengths(13|47M9) 11|97r44 12498R9*Sockaddr_Length_And_Family 99d7 109e14 110r28 111r26 114r31 152r20 11|90r31 12599b7*Has_Sockaddr_Len{boolean} 101r12 126103m13*Length{13|47M9} 11|97m28 127104m13*Char_Family{13|47M9} 11|64r48 98m28 128107m13*Short_Family{13|44M9} 11|63r59 100m28 129113U14*Set_Family 114<7 115>7 11|43s7 89b14 102l8 102t18 130114r7 Length_And_Family{98R9} 11|90b7 97m10 98m10 100m10 131115e7 Family{9|472E9} 11|91b7 93r42 97r53 132123R9*In_Addr 125e14 126r8 127r26 132r64 133r57 135r55 137r16 160r21 11|108r55 133. 125r16 134124m7*S_B1{13|47M9} 11|111m18 128r54 135124m13*S_B2{13|47M9} 11|112m18 129r54 136124m19*S_B3{13|47M9} 11|113m18 130r54 137124m25*S_B4{13|47M9} 11|114m18 131r54 138132V13*To_In_Addr[6|20]{123R9} 139133V13*To_Int[6|20]{13|35I9} 140135V13*To_In_Addr{123R9} 135>25 11|48s29 108b13 118l8 118t18 141135r25 Addr{9|517R9} 11|108b25 110r10 111r43 112r43 113r43 114r43 142136U14*To_Inet_Addr 137>7 138<7 11|75s13 124b14 132l8 132t20 143137r7 Addr{123R9} 11|125b7 128r49 129r49 130r49 131r49 144138r7 Result{9|517R9} 11|126b7 128m7 129m7 130m7 131m7 145141A9*In6_Addr(13|47M9)<integer> 142r8 143r26 145r56 147r16 170r26 11|139r16 146. 155r56 156r16 147145V13*To_In6_Addr{141A9} 145>26 11|50s30 155b13 163l8 163t19 148145r26 Addr{9|517R9} 11|155b26 158r16 159r41 149146U14*To_Inet_Addr 147>7 148<7 11|77s13 138b14 149l8 149t20 150147a7 Addr{141A9} 11|139b7 144r16 145r45 151148r7 Result{9|517R9} 11|140b7 148m7 152151R9*Sockaddr 151d19 175e14 176r28 177r26 180r39 191r32 11|61r32 153151e19*Family{9|472E9} 158r12 154152r7*Sin_Family{98R9} 11|43m23 63r48 64r37 155155m7*Sin_Port{13|44M9} 11|44m11 71r55 156160r10*Sin_Addr{123R9} 11|48m17 75r31 157163a10*Sin_Zero{13|79A9} 158169m10*Sin6_FlowInfo{12|74M9} 159170a10*Sin6_Addr{141A9} 11|50m17 77r31 160171m10*Sin6_Scope_Id{12|74M9} 11|51m17 161180P9*Sockaddr_Access(151R9) 181r26 185r17 308r22 332r17 11|39r17 162184U14*Set_Address 185>7 186>7 11|38b14 55l8 55t19 163185p7 Sin{180P9} 11|39b7 43r19 44r7 48r13 50r13 51r13 164186r7 Address{9|597R9} 11|40b7 43r35 44r59 46r12 48r41 50r43 165191V13*Get_Address{9|597R9} 191>26 11|61b13 83l8 83t19 166191r26 Sin{151R9} 11|61b26 63r44 64r33 71r51 75r27 77r27 167198A9*Hostent<26|70A9>(26|64M9)<26|54I9> 200r8 205r38 269r34 278r35 168205P9*Hostent_Access(198A9) 206r26 210r11 213r11 216r11 219r11 222r11 169209V13*Hostent_H_Name{15|67M9} 210>7 467b<c,__gnat_hostent_h_name>22 170210p7 E{205P9} 171212V13*Hostent_H_Alias{15|67M9} 213>7 213>27 468b<c,__gnat_hostent_h_alias>22 172213p7 E{205P9} 173213i27 I{13|35I9} 174215V13*Hostent_H_Addrtype{13|35I9} 216>7 469b<c,__gnat_hostent_h_addrtype>22 175216p7 E{205P9} 176218V13*Hostent_H_Length{13|35I9} 219>7 470b<c,__gnat_hostent_h_length>22 177219p7 E{205P9} 178221V13*Hostent_H_Addr{15|67M9} 222>7 222>27 471b<c,__gnat_hostent_h_addr>22 179222p7 E{205P9} 180222i27 Index{13|35I9} 181228A9*Servent<26|70A9>(26|64M9)<26|54I9> 230r8 235r38 286r32 293r32 182235P9*Servent_Access(228A9) 236r26 240r11 243r11 246r11 249r11 183239V13*Servent_S_Name{15|67M9} 240>7 462b<c,__gnat_servent_s_name>22 184240p7 E{235P9} 185242V13*Servent_S_Alias{15|67M9} 243>7 243>27 463b<c,__gnat_servent_s_alias>22 186243p7 E{235P9} 187243i27 Index{13|35I9} 188245V13*Servent_S_Port{13|44M9} 246>7 464b<c,__gnat_servent_s_port>22 189246p7 E{235P9} 190248V13*Servent_S_Proto{15|67M9} 249>7 465b<c,__gnat_servent_s_proto>22 191249p7 E{235P9} 192267V13*C_Gethostbyname{13|35I9} 268>7 269^7 270>7 271>7 272^7 452b<c,__gnat_gethostbyname>22 193268a7 Name{13|79A9} 194269p7 Ret(198A9) 195270m7 Buf{15|67M9} 196271i7 Buflen{13|35I9} 197272p7 H_Errnop(13|35I9) 198274V13*C_Gethostbyaddr{13|35I9} 275>7 276>7 277>7 278^7 279>7 280>7 281^7 199. 453b<c,__gnat_gethostbyaddr>22 200275m7 Addr{15|67M9} 201276i7 Addr_Len{13|35I9} 202277i7 Addr_Type{13|35I9} 203278p7 Ret(198A9) 204279m7 Buf{15|67M9} 205280i7 Buflen{13|35I9} 206281p7 H_Errnop(13|35I9) 207283V13*C_Getservbyname{13|35I9} 284>7 285>7 286^7 287>7 288>7 454b<c,__gnat_getservbyname>22 208284a7 Name{13|79A9} 209285a7 Proto{13|79A9} 210286p7 Ret(228A9) 211287m7 Buf{15|67M9} 212288i7 Buflen{13|35I9} 213290V13*C_Getservbyport{13|35I9} 291>7 292>7 293^7 294>7 295>7 455b<c,__gnat_getservbyport>22 214291i7 Port{13|35I9} 215292a7 Proto{13|79A9} 216293p7 Ret(228A9) 217294m7 Buf{15|67M9} 218295i7 Buflen{13|35I9} 219297N4*Address_Size 318r59 319r59 320r59 220299R9*Addrinfo 300r39 302c9 311e15 312r8 326r33 221300P9*Addrinfo_Access(299R9) 310r22 327r33 329r36 222302R9*Addrinfo 223303i7*ai_flags{13|35I9} 313r7 224304i7*ai_family{13|35I9} 314r7 225305i7*ai_socktype{13|35I9} 315r7 226306i7*ai_protocol{13|35I9} 316r7 227307m7*ai_addrlen{67M9} 317r7 228308p7*ai_addr{180P9} 319r7 229309p7*ai_canonname{14|39P9} 318r7 230310p7*ai_next{300P9} 320r7 231323V13*C_Getaddrinfo{13|35I9} 324>7 325>7 326^7 327^7 457b<c,__gnat_getaddrinfo>22 232324p7 Node{14|39P9} 233325p7 Service{14|39P9} 234326p7 Hints(302R9) 235327p7 Res(300P9) 236329U14*C_Freeaddrinfo 329>30 458b<c,__gnat_freeaddrinfo>22 237329p30 res{300P9} 238331V13*C_Getnameinfo{13|35I9} 332>7 333>7 334>7 335>7 336>7 337>7 338>7 459b<c,__gnat_getnameinfo>22 239332p7 sa{180P9} 240333m7 salen{67M9} 241334p7 host{14|39P9} 242335m7 hostlen{13|60M9} 243336p7 serv{14|39P9} 244337m7 servlen{13|60M9} 245338i7 flags{13|35I9} 246340V13*C_GAI_Strerror{14|47P9} 340>29 460b<c,__gnat_gai_strerror>22 247340i29 ecode{13|35I9} 248346R9*Msghdr 354e14 355r26 249347m7*Msg_Name{15|67M9} 250348m7*Msg_Namelen{13|43M9} 251349m7*Msg_Iov{15|67M9} 252350m7*Msg_Iovlen{19|381M12} 253351m7*Msg_Control{15|67M9} 254352m7*Msg_Controllen{13|60M9} 255353i7*Msg_Flags{13|35I9} 256361U14*Get_Socket_From_Set 362^7 363^7 364^7 442b<c,__gnat_get_socket_from_set>22 257362p7 Set(9|1348A9) 258363p7 Last(13|35I9) 259364p7 Socket(13|35I9) 260371U14*Insert_Socket_In_Set 372^7 373>7 445b<c,__gnat_insert_socket_in_set>22 261372p7 Set(9|1348A9) 262373i7 Socket{13|35I9} 263376V14*Is_Socket_In_Set{13|35I9} 377^7 378>7 443b<c,__gnat_is_socket_in_set>22 264377p7 Set(9|1348A9) 265378i7 Socket{13|35I9} 266382U14*Last_Socket_In_Set 383^7 384^7 444b<c,__gnat_last_socket_in_set>22 267383p7 Set(9|1348A9) 268384p7 Last(13|35I9) 269391U14*Remove_Socket_From_Set 391^38 391>59 446b<c,__gnat_remove_socket_from_set>22 270391p38 Set(9|1348A9) 271391i59 Socket{13|35I9} 272394U14*Reset_Socket_Set 394^32 447b<c,__gnat_reset_socket_set>22 273394p32 Set(9|1348A9) 274401A9*Two_Ints(13|35I9)<integer> 402r26 405r23 275405A12*Fd_Pair{401A9}<integer> 276410N4*Read_End 277411N4*Write_End 278415V13*Inet_Pton{13|35I9} 416>7 417>7 418>7 449b<c,inet_pton>22 279416i7 Af{13|35I9} 280417m7 Cp{15|67M9} 281418m7 Inp{15|67M9} 282420V13*Inet_Ntop{14|39P9} 421>7 422>7 423>7 424>7 450b<c,inet_ntop>22 283421i7 Af{13|35I9} 284422m7 Src{15|67M9} 285423p7 Dst{14|39P9} 286424m7 Size{67M9} 287426V13*C_Ioctl{13|35I9} 427>7 428>7 429^7 448b<c,__gnat_socket_ioctl>22 288427i7 Fd{13|35I9} 289428m7 Req{19|94M12} 290429p7 Arg(13|35I9) 291431V13*Short_To_Network{13|44M9} 432>7 433r19 438r12 11|44s23 169b13 186l8 292. 186t24 293432m7 S{13|44M9} 11|169b31 178r17 184r61 294436V13*Network_To_Short=438:12{13|44M9} 11|71s33 295437m7 S{13|44M9} 296X 11 g-sothco.adb 29762m7 Family{13|44M9} 66r15 29865r7 Result{9|597R9} 71m7 73r12 75m41 75r41 77m42 77r42 79m13 82r14 29993i7 C_Family=93:32{13|35I9} 98r62 100r62 30094b7 Has_Sockaddr_Len{boolean} 96r10 301142a7 Sin_V6{9|511A12} 145m10 148r52 302144i11 J{integer} 145r18 145r51 303156a7 Result{10|141A9} 159m10 162r14 304158i11 J{integer} 159r18 159r54 305X 12 interfac.ads 30638K9*Interfaces 10|36r6 40r22 169r26 171r26 11|170r11 12|184e15 30766M9*Unsigned_16 11|184r48 30874M9*Unsigned_32 10|169r37 171r37 309113V13*Rotate_Left{66M9} 11|184s35 310X 13 i-c.ads 31118K20*C 10|36r17 40r33 13|230e17 31235I9*int<integer> 10|43r25 44r25 76r49 126r32 132r59 133r68 142r33 213r33 313. 216r36 219r36 222r37 243r37 271r20 272r36 272r50 276r21 277r21 280r21 281r37 314. 281r51 288r18 288r32 291r18 295r18 295r32 303r24 304r24 305r24 306r24 313r61 315. 314r61 315r61 316r61 327r59 338r19 338r33 340r39 353r26 363r25 364r25 373r18 316. 378r18 378r32 384r23 391r70 401r41 416r15 418r38 421r16 427r15 429r22 429r36 317. 11|93r20 31843M9*unsigned 10|348r26 31944M9*unsigned_short 10|107r30 155r20 246r36 432r13 432r38 437r13 437r38 11|44r43 320. 62r27 64r17 100r46 169r37 169r62 184r19 32147M9*unsigned_char 10|81r49 103r29 104r29 124r34 141r42 11|98r46 111r28 112r28 322. 113r28 114r28 159r26 32360M9*size_t 10|335r19 337r19 352r26 32472E9*char<character> 32574e4*nul{72E9} 10|163r59 32679A9*char_array(72E9)<60M9> 10|163r23 268r20 284r18 285r18 292r18 327X 14 i-cstrin.ads 32836K22*Strings 10|36w19 41r25 14|106e25 32939P9*char_array_access(13|79A9) 10|309r25 324r20 325r20 334r20 336r20 423r17 330. 424r35 33147P9*chars_ptr 10|340r54 332X 15 system.ads 33337K9*System 10|199r6 210r34 213r45 222r49 229r6 240r34 243r49 249r34 270r18 334. 275r19 279r19 287r16 294r16 347r24 349r24 351r24 417r13 418r13 422r14 11|171r11 335. 15|148e11 33667M9*Address 10|210r41 213r52 222r56 240r41 243r56 249r41 270r25 275r26 279r26 337. 287r23 294r23 347r31 349r31 351r31 417r20 418r20 422r21 33891n23*High_Order_First{91E9} 11|177r30 33992e4*Default_Bit_Order{91E9} 11|177r10 340X 19 s-oscons.ads 34194M12*IOCTL_Req_T{13|43M9} 10|428r18 342231N4*AF_INET 10|78r40 11|68r23 343232N4*AF_INET6 10|79r40 11|67r23 344233N4*AF_UNSPEC 10|77r40 345239N4*AI_FLAGS_OFFSET 10|313r28 346240N4*AI_FAMILY_OFFSET 10|314r28 347241N4*AI_SOCKTYPE_OFFSET 10|315r28 348242N4*AI_PROTOCOL_OFFSET 10|316r28 349243N4*AI_ADDRLEN_OFFSET 10|317r28 350244N4*AI_ADDR_OFFSET 10|319r28 351245N4*AI_CANONNAME_OFFSET 10|318r28 352246N4*AI_NEXT_OFFSET 10|320r28 353364N4*SIZEOF_tv_sec 10|47r28 48r28 49r33 354365N4*SIZEOF_tv_usec 10|53r28 54r28 55r38 355371N4*SIZEOF_sockaddr_in 10|83r40 356372N4*SIZEOF_sockaddr_in6 10|84r40 357375N4*SIZEOF_struct_hostent 10|199r55 358376N4*SIZEOF_struct_servent 10|229r55 359377N4*SIZEOF_socklen_t 10|67r41 68r37 360381M12*Msg_Iovlen_T{13|60M9} 10|350r29 361389N4*Has_Sockaddr_Len 11|63r18 94r51 362393a4*Inet_Pton_Linkname{string} 10|449r38 363394a4*Inet_Ntop_Linkname{string} 10|450r38 364X 26 s-stoele.ads 36542K16*Storage_Elements 10|199r13 229r13 26|117e28 36664M9*Storage_Element 36770A9*Storage_Array(64M9)<54I9> 10|199r30 229r30 368 369