test.aadl.out 386 KB