sig
  type !'a t
  val make : '-> 'Atomic.t
  val make_contended : '-> 'Atomic.t
  val get : 'Atomic.t -> 'a
  val set : 'Atomic.t -> '-> unit
  val exchange : 'Atomic.t -> '-> 'a
  val compare_and_set : 'Atomic.t -> '-> '-> bool
  val fetch_and_add : int Atomic.t -> int -> int
  val incr : int Atomic.t -> unit
  val decr : int Atomic.t -> unit
end