test.aadl.out 451 KB