var
  x: Int
  p: ^const Int

begin
  p := @x
end.