test.aadl.out 428 KB