sig
val mk_api_name : string -> string
val mk_temporal_name : string -> string
val mk_gen_name : string -> string
val is_generated_name : string -> bool
val is_generated_kf : Cil_types.kernel_function -> bool
val is_generated_literal_string_name : string -> bool
val get_original_name : Cil_types.kernel_function -> string
val libc_replacement_name : string -> string
val has_rtl_replacement : string -> bool
end