`xs := tail xs`
`end`
`in n`
`xs := tail xs`
`end`
`in n`