example_005.aadl.out 171 Bytes