test.aadl 532 Bytes