test.aadl.out 486 KB