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 ZX

RN
RV NO_DISPATCH
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS

U messaging.fixed%s	messaging-fixed.ads	d9fd59cf NE OO PK GE KU
W messaging%s		messaging.adb		messaging.ali

D messaging.ads		20250925141903 96089d43 messaging%s
D messaging-fixed.ads	20250912235441 4ff5c48c messaging.fixed%s
D system.ads		20250808065140 d0bef732 system%s
G a e
X 1 messaging.ads
23K9*Messaging 41e14 2|28r9 34r22 48r5
31M8*Byte
33A8*Buffer(31M8)<integer> 2|34r32
X 2 messaging-fixed.ads
26i3 MessageSize{natural} 34r44
28k19*Fixed 1|23k9 2|26z3 48l15 48e20
30h8*MessengerInterface 32r32 38p13 39r17 44p13 45r17
32P8*Messenger(30R8)
34A11*Message{1|33A8}<integer> 40r20 46r21
38x13*Send 39>5 40>5
39r5 Self{30R8}
40a5 msg{34A11}
44x13*Receive 45>5 46<5
45r5 Self{30R8}
46a5 msg{34A11}