add_this_object_header_file (i) int i;
add_this_object_header_file (int i)
add_this_object_header_file (i)     int i;{  if (n_this_object_header_files == n_allocated_this_object_header_files)    {      n_allocated_this_object_header_files *= 2;      this_object_header_files	= (int *) xrealloc ((char *) this_object_header_files,			    n_allocated_this_object_header_files * sizeof (int));    }  this_object_header_files[n_this_object_header_files++] = i;}