test.aadl.out 452 KB