f X X f a b b a f 2 1 a 0 b 0 FULL ./TRS/CSR/Ex16_Luc06.trs