test.aadl.out 467 KB