sel s N cons X sel N XS fib N sel N fib1 s 0 s 0 fib1 X Y cons X add 0 X X add s X Y s add X Y sel 0 cons X X sel 2 s 1 cons 1 fib 1 fib1 2 0 0 add 2 FULL ./TRS/TRCSR/Ex8_BLR02_L.trs