test.aadl.out 387 KB