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