V "GNAT Lib v15" A -O3 A -gnatA A -gnatn A -ffunction-sections A -fdata-sections A -gnatW8 A -mtune=generic A -march=x86-64 P SS ZX RN RV NO_ALLOCATORS RV NO_DISPATCH RV NO_DISPATCHING_CALLS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_IMPLICIT_CONDITIONALS RV NO_LOCAL_ALLOCATORS RV NO_NESTED_FINALIZATION RV NO_RECURSION RV NO_SECONDARY_STACK RV NO_STANDARD_STORAGE_POOLS RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_PRAGMAS RV NO_ELABORATION_CODE U lambda%b lambda.adb 74b5f7ac NE OO PK Z ada.exceptions%s a-except.adb a-except.ali Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali Z ada.strings.text_buffers.unbounded%s a-stbuun.adb a-stbuun.ali Z ada.tags%s a-tags.adb a-tags.ali Z 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.standard_library%s s-stalib.adb s-stalib.ali Z system.storage_elements%s s-stoele.ads s-stoele.ali Z system.storage_pools%s s-stopoo.adb s-stopoo.ali Z system.storage_pools.subpools%s s-stposu.adb s-stposu.ali U lambda%s lambda.ads d9d36d72 EE OO PF PK 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.text_buffers%s a-sttebu.adb a-sttebu.ali W ada.strings.unbounded%s a-strunb.adb a-strunb.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 20251110095651 76789da1 ada%s D a-charac.ads 20251110095651 2d3ec45b ada.characters%s D a-chlat1.ads 20251110095651 e0d72e76 ada.characters.latin_1%s D a-except.ads 20251110095651 e7970cd9 ada.exceptions%s D a-finali.ads 20251110095651 bf4f806b ada.finalization%s D a-stream.ads 20251110095651 17477cbd ada.streams%s D a-string.ads 20251110095651 90ac6797 ada.strings%s D a-strmap.ads 20251110095651 1f91ebb6 ada.strings.maps%s D a-strsea.ads 20251110095651 18c3c634 ada.strings.search%s D a-sttebu.ads 20251110095651 f1ad67a2 ada.strings.text_buffers%s D a-stbuun.ads 20251110095651 7ace507d ada.strings.text_buffers.unbounded%s D a-strunb.ads 20251110095651 b10770ab ada.strings.unbounded%s D a-strunb.adb 20251110095651 30f67b52 ada.strings.unbounded%b D a-stuten.ads 20251110095651 c6ced0ae ada.strings.utf_encoding%s D a-tags.ads 20251110095651 fbca0ad5 ada.tags%s D a-unccon.ads 20251110095651 0e9b276f ada.unchecked_conversion%s D a-uncdea.ads 20251110095651 c3a8ac65 ada.unchecked_deallocation%s D interfac.ads 20251110095651 9111f9c1 interfaces%s D i-c.ads 20251110095651 e94c966a interfaces.c%s D lambda.ads 20251129204021 99797a7b lambda%s D lambda.adb 20251130134111 edcc8dd7 lambda%b D system.ads 20251110095651 14286b0f system%s D s-atocou.ads 20251110095651 dc18efc3 system.atomic_counters%s D s-atocou.adb 20251110095651 6fe685de system.atomic_counters%b D s-atopri.ads 20251110095651 e19c1d89 system.atomic_primitives%s D s-exctab.ads 20251110095651 91bef6ef system.exception_table%s D s-finpri.ads 20251110095651 5970d55a system.finalization_primitives%s D s-finpri.adb 20251110095651 02c85f69 system.finalization_primitives%b D s-finroo.ads 20251110095651 0a7c3ed4 system.finalization_root%s D s-memory.ads 20251110095651 18949c1a system.memory%s D s-oscons.ads 20251110095651 068e1a91 system.os_constants%s D s-oslock.ads 20251110095651 13fa6b78 system.os_locks%s D s-parame.ads 20251110095651 3597fc11 system.parameters%s D s-pooglo.ads 20251110095651 91708d21 system.pool_global%s D s-putima.ads 20251110095651 17291fe4 system.put_images%s D s-retsta.ads 20251110095651 0f6b06cb system.return_stack%s D s-secsta.ads 20251110095651 578279f5 system.secondary_stack%s D s-soflin.ads 20251110095651 5d88fdea system.soft_links%s D s-stache.ads 20251110095651 0b81c1fe system.stack_checking%s D s-stalib.ads 20251110095651 1c9580f6 system.standard_library%s D s-stalib.adb 20251110095651 eb464a47 system.standard_library%b D s-stoele.ads 20251110095651 ccded4e8 system.storage_elements%s D s-stopoo.ads 20251110095651 e9fa2dd8 system.storage_pools%s D s-stposu.ads 20251110095651 e0b9fefd system.storage_pools.subpools%s D s-stratt.ads 20251110095651 516607ae system.stream_attributes%s D s-traent.ads 20251110095651 c81cbf8c system.traceback_entries%s D s-unstyp.ads 20251110095651 fa2a7f59 system.unsigned_types%s G a e G c Z s b [my_put_image lambda 26 14 none] G c Z s b [vari lambda 31 13 none] G c Z s b [abst lambda 32 13 none] G c Z s b [appl lambda 33 13 none] G c Z s b [from lambda 34 13 none] G c Z s b [substitution lambda 36 13 none] G c Z s b [beta lambda 37 13 none] G c Z s s [termDI lambda 13 9 none] G c Z s s [termDA lambda 13 9 none] G c Z s s [termDF lambda 13 9 none] G c Z s s [termIP lambda 13 9 none] X 1 ada.ads 18K9*Ada 22e8 20|3r6 4r6 16r25 18r25 27r23 21|6r23 12r25 16r25 32r22 40r22 . 74r16 76r18 81r18 92r16 X 7 a-string.ads 16K13*Strings 35e16 20|3r10 4r10 16r29 18r29 27r27 21|6r27 12r29 16r29 32r26 . 40r26 74r20 76r22 81r22 92r20 X 10 a-sttebu.ads 17K21*Text_Buffers 152e29 20|3w18 27r35 21|6r35 26H9*Root_Buffer_Type 104e14 20|27r48 21|6r48 29x14*Put 21|12R20 15R20 16R20 17R20 18R20 21R20 22R20 23R20 24R20 25R20 X 12 a-strunb.ads 91K21*Unbounded 1641e26 20|4w18 16r37 18r37 21|12r37 16r37 32r34 40r34 74r28 . 76r30 81r30 92r28 105R9*Unbounded_String<5|43R9> 1620e15 20|16r47 18r47 122V13*To_Unbounded_String{105R9} 21|32s44 40s44 135V13*To_String{string} 21|12s47 16s47 76s40 81s40 276V14*"="{boolean} 21|74s39 283V14*"="{boolean} 21|74r39 92s39 X 20 lambda.ads 6K9*Lambda 38l5 38e11 21|3b14 108l5 108t11 8E9*Term_Kind 8e58 13r22 8n23*Variable{8E9} 15r15 21|11r15 31r28 91r15 105r15 8n33*Abstraction{8E9} 17r15 21|14r15 38r28 73r15 104r15 8n46*Application{8E9} 20r15 21|20r15 48r28 86r15 103r15 10R9*Term 11r43 13c9 13d15 24e15 28r12 31r41 32r51 32r64 33r26 33r43 33r56 . 34r42 36r31 36r57 36r70 37r23 37r36 21|7r12 29r41 31r14 35r51 35r64 37r14 . 41r37 45r26 45r43 45r56 47r14 49r32 50r36 54r42 69r31 69r57 70r13 87r20 . 100r23 100r36 103r37 104r37 105r37 11P9*Expression(10R9) 19r25 21r25 22r25 13R9*Term 13e15*Kind{8E9} 14r12 21|10r14 31m20 38m20 48m20 72r14 102r14 16r13*Name{12|105R9} 21|12r60 31m38 76r55 92r50 18r13*Parameter{12|105R9} 21|16r60 39m20 74r44 81r53 19p13*Func_Body{11P9} 21|18r27 41m20 77r34 82r34 21p13*Func{11P9} 21|22r27 49m20 88r31 22p13*Argument{11P9} 21|24r27 50m20 89r31 26U14*My_Put_Image 24r33 27=7 28>7 21|5b14 27l8 27t20 27c7 Output<10|26R9> 21|6b7 12m13 12r13 15m13 15r13 16m13 16r13 17m13 17r13 . 18m13 18r13 21m13 21r13 22m13 22r13 23m13 23r13 24m13 24r13 25m13 25r13 28r7 T{13R9} 21|7b7 10r12 12r58 16r58 18r25 22r25 24r25 31V13*Vari{13R9} 31>19 21|29b13 33l8 33t12 56s14 31a19 Name{string} 21|29b19 32r65 32V13*Abst{13R9} 32>19 32>39 21|35b13 43l8 43t12 75s23 80s23 32a19 Parameter{string} 21|35b19 40r65 32r39 Func_Body{13R9} 21|35b39 41r43 33V13*Appl{13R9} 33>19 33>32 21|45b13 52l8 52t12 87s26 33r19 Func{13R9} 21|45b19 49r38 33r32 Argument{13R9} 21|45b32 50r42 34V13*From{13R9} 34>19 21|54b13 67l8 67t12 34a19 Input{string} 21|54b19 56r32 36V13*Substitution{13R9} 36>27 36>37 36>51 21|69b13 77s18 82s18 88s15 89s15 . 98l8 98t20 36r27 T{13R9} 21|69b27 72r12 74r42 77r32 81r51 82r32 88r29 89r29 92r48 95r23 36a37 Var{string} 21|69b37 74r55 77r49 82r49 88r41 89r45 92r43 36r51 Rep{13R9} 21|69b51 76r51 77r54 82r54 88r46 89r50 93r23 37V13*beta{13R9} 37>19 21|100b13 107l8 107t12 37r19 T{13R9} 21|100b19 102r12 103r43 104r43 105r43 X 22 system.ads 67M9*Address X 30 s-memory.ads 51V13*Alloc{22|67M9} 101i22 66U14*Free 102i22 74V13*Realloc{22|67M9} 103i22 X 41 s-stalib.adb 87U14 Break_Start 88i22