nonterm.pot

main = f x y;

f x y = case x of
           Zero -> y
	     | Succ(x') -> f x y