appendConsxxsysConsxappendxsysappendNilysysgoalxyappendxyappend2Cons2Nil0goal2INNERMOST