`while not (empty? xs) do`
`n := n + 1;`
`xs := tail xs`
`while not (empty? xs) do`
`n := n + 1;`
`xs := tail xs`