intlist nil nil intlist cons x y cons s x intlist y int 0 0 cons 0 nil int 0 s y cons 0 int s 0 s y int s x 0 nil int s x s y intlist int x y intlist 1 nil 0 cons 2 s 1 int 2 0 0 INNERMOST ./TRS/AG01/#4.24.trs