let predefined_name = [ (* coding functions *) name_of_assert; name_of_malloc; name_of_calloc; name_of_realloc; name_of_free; ]