sig
  val api_prefix : string
  val temporal_prefix : string
  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