test.aadl.out 384 KB