!y       (* access *)
  y := 34  (* modification *)