sig
  type checkFlags = NoFlx_cil_checkGlobalIds
  val checkFile : Flx_cil_check.checkFlags list -> Flx_cil_cil.file -> bool
end