sig
  val cc_lval : Region.map -> Cil_types.lval -> Region.region
  val cc_read : Region.map -> Cil_types.exp -> unit
  val cc_assign :
    Region.map -> Cil_types.stmt -> Cil_types.lval -> Cil_types.exp -> unit
  val cc_init :
    Region.map -> Cil_types.stmt -> Cil_types.lval -> Cil_types.init -> unit
  val cc_instr : Region.map -> Cil_types.stmt -> Cil_types.instr -> unit
  val cc_fundec : Region.map -> Cil_types.fundec -> unit
  val cc_pred : Region.map -> Cil_types.predicate -> unit
  val cc_term : Region.map -> Cil_types.term -> unit
  val cc_spec : Region.map -> Cil_types.spec -> unit
  val cc_region : Region.map -> RegionAnnot.region_spec -> unit
end