t12.aadl.out 130 Bytes