sig
  val doFlx_cil_check : bool Pervasives.ref
  val logCalls : bool Pervasives.ref
  val logWrites : bool Pervasives.ref
  val doPartial : bool Pervasives.ref
  val doSimpleMem : bool Pervasives.ref
  val doOneRet : bool Pervasives.ref
  val doStackGuard : bool Pervasives.ref
  val doHeapify : bool Pervasives.ref
  val makeCFG : bool Pervasives.ref
  val printFlx_cil_stats : bool Pervasives.ref
  val sliceGlobal : bool Pervasives.ref
  val printStages : bool Pervasives.ref
  val doCxxPP : bool Pervasives.ref
  val libDir : string Pervasives.ref
end