sig
  val value_if_set : int option Pervasives.ref
  val get : unit -> int
  val set : int -> unit
end