CConstants.Internal_Functions
val initialize_genv : string
val malloc : string
val malloc_can_fail : string
val calloc : string
val memmove : string
val memcpy : string
val ef_memcpy : string
val memset : string
val strcmp : string
val strlen : string
val strcpy : string
val rand : string
val free : string
val loadv : string
val storev : string
val free_list : string
val not_implemented : string
val get_function_name : string
val glob_set_var : string
val val_of_bool : string
val bool_of_val : string
val store_zeros : string
val printf : string