test.aadl.out 381 KB