1 2 3 4 5 6 7 8 9 10 11
proc f() var a: []Int x: Int p: ^Int begin x := a[1]; a := p[1u to 10u] return end.