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_rtl_name : string -> bool
  val is_generated_literal_string_name : string -> bool
  val get_original_name : Cil_types.kernel_function -> string
  val get_rtl_replacement_name : string -> string
  val has_rtl_replacement : string -> bool
end