let incr x_option r =
  let x = match x_option with Some x -> x | None -> 1
  in r := !r + x;;
let r = ref 0;;
incr None r; !r;;
val r : int ref = {contents=0}
incr (Some 10) r; !r;;
- : int = 10