sig
  val convFile : Flx_cil_cabs.file -> Flx_cil_cil.file
  val nocil : int Pervasives.ref
  val allowDuplication : bool Pervasives.ref
end