test.aadl.out 480 KB