var
  x: Int
  p: ^const Int

program()
begin
  p := @x
end.