test.aadl.out 427 KB