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