test.aadl.out 283 KB