sig
  val test_name : string
  module DB : Trakeva.KEY_VALUE_STORE
  val debug_mode : bool -> unit
end