t12.aadl.out 122 Bytes