sig
  val isExportedRoot : Cil_types.global -> bool
  val isCompleteProgramRoot : Cil_types.global -> bool
  val removeUnused :
    ?isRoot:(Cil_types.global -> bool) -> Cil_types.file -> unit
  val remove_unused_labels :
    ?is_removable:(Cil_types.label -> bool) -> Cil_types.fundec -> unit
  val keepUnused : bool Stdlib.ref
  val rmUnusedInlines : bool Stdlib.ref
  val rmUnusedStatic : bool Stdlib.ref
end