sel s X cons Y sel X Z from X cons X first 0 Z nil first s X cons Y cons Y sel 0 cons X X sel 2 s 1 cons 1 from 1 first 2 0 0 nil 0 FULL ./TRS/TRCSR/Ex1_Luc02b_L.trs