test.aadl.out 484 KB