test.aadl.out 412 KB