test.aadl.out 485 KB