proc f()
var
  a: []Int
  x: Int
  p: ^Int
begin
  x := a[1];
  a := p[1u to 10u]
return

end.