sig
  val init : unit -> unit
  val is_init : unit -> bool
  val deinit : unit -> unit
end