var
  x: ^const Int
  y: const Int := 1

program()
begin
  x := @y
end.