sig
val api_prefix : string
val temporal_prefix : string
val mk_api_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 get_original_name : Cil_types.kernel_function -> string
end