Terminating example of unfold.