Complete looping-is-recursion