fXifXcftrueiftrueXYXiffalseXYYf1if3c0true0false0INNERMOST./TRS/nontermin/CSR/Ex5_Zan97.trs