sig
  val computeFileCFG : Cil.file -> unit
  val clearFileCFG : Cil.file -> unit
  val cfgFun : Cil.fundec -> int
  val clearCFGinfo : Cil.fundec -> unit
  val printCfgChannel : Pervasives.out_channel -> Cil.fundec -> unit
  val printCfgFilename : string -> Cil.fundec -> unit
  val start_id : int Pervasives.ref
  val allStmts : Cil.file -> Cil.stmt list
end