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