`n := n + 1;`
`xs := tail xs`
`end`
`n := n + 1;`
`xs := tail xs`
`end`