rem: while (c != EOF && !ISSPACE (c))
add: for (;;)
context: readname (name, size, stream)     char **name;     int *size;     FILE *stream;{  int c;  int name_index = 0;  if (*name == NULL)    {      *size = 10;      *name = (char *) xmalloc (*size);    }  /* Skip blank space.  */  while ((c = getc (stream)) != EOF && ISSPACE (c))    /* Do nothing. */ ;  while (c != EOF && !ISSPACE (c))    {      (*name)[name_index++] = c;      while (name_index >= *size)	{	  *size *= 2;	  *name = (char *) xrealloc (*name, *size);	}      c = getc (stream);    }  (*name)[name_index] = '\0';  return name_index;}