test.aadl.out 9 KB