test2.aadl.out 346 Bytes