var
  x: ^const Int
  y: const Int

begin
  x := @y
end.