sig
  val enable : bool Pervasives.ref
  val enable_alloc : bool Pervasives.ref
end