test.aadl.out 382 KB