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 nodeList : Cil.stmt list Pervasives.ref
val numNodes : int Pervasives.ref
end