sig
  val init : unit -> unit
  val notify_register : unit Ccell.Mbox.t -> unit
  val up_register : (unit -> bool) -> unit
end