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