sig
  val applyFlx_cil_patch :
    Flx_cil_cabs.file -> Flx_cil_cabs.file -> Flx_cil_cabs.file
end