sig
  type 'a reference = 'a Stdlib.ref
  val make_ref : 'a -> 'a Refs.reference
  val deref : 'a Refs.reference -> 'a
  val assign : 'a Refs.reference -> 'a -> unit
end