test.aadl.out 284 KB