test.aadl.out 432 KB