first 0 X nil first s X cons Y cons Y from X cons X first 2 0 0 nil 0 s 1 cons 1 from 1 INNERMOST ./TRS/TRCSR/inn/Ex6_Luc98_L.trs