f b X c f X c X c b f 3 2 b 0 c 0 FULL ./TRS/CSR/Ex24_Luc06.trs