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_IMPLEMENTATION_PRAGMAS U io_interfaces%s io_interfaces.ads 03fd2692 NE OO PK GE KU D io_interfaces.ads 20250912235441 03fd2692 io_interfaces%s D system.ads 20250808065140 d0bef732 system%s G a e X 1 io_interfaces.ads 25+8 Property 35r53 45r59 49r61 59r56 27k9*IO_Interfaces 25z8 61l5 61e18 31h8*InputInterface 35p12 35r30 35y12*Get{25+8} 35=16 35r16 Self{31R8} 41h8*InputOutputInterface 45p12 45r30 49p13 49r31 45y12*Get{25+8} 45=16 45r16 Self{41R8} 49x13*Put 49=17 49>53 49r17 Self{41R8} 49*53 value{25+8} 55h8*OutputInterface 59p13 59r31 59x13*Put 59=17 59>48 59r17 Self{55R8} 59*48 value{25+8}