sig
  val elim_dead_code : Cil_types.fundec -> Cil_types.fundec
  val elim_dead_code_fp : Cil_types.fundec -> Cil_types.fundec
  val dce : full:bool -> Cil_types.file -> unit
end