test.aadl.out 279 KB