t12.aadl.out 225 Bytes