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