TH_tuple1.stdout 964 Bytes