if (stab_name == NULL) { int i;  stab_name = (char **) xmalloc (256 * sizeof(char *));  for (i = 0; i < 256; i++) stab_name[i] = NULL;  for (i = 0; *stab_print[i].string; i++) stab_name[stab_print[i].value] = stab_print[i].string; }
dump_stabs (abfd)     bfd *abfd;{  /* Allocate and initialize stab name array if first time.  */  if (stab_name == NULL)     {      int i;      stab_name = (char **) xmalloc (256 * sizeof(char *));      /* Clear the array. */      for (i = 0; i < 256; i++)	stab_name[i] = NULL;      /* Fill in the defined stabs. */      for (i = 0; *stab_print[i].string; i++)	stab_name[stab_print[i].value] = stab_print[i].string;    }  dump_section_stabs (abfd, ".stab", ".stabstr");  dump_section_stabs (abfd, ".stab.excl", ".stab.exclstr");  dump_section_stabs (abfd, ".stab.index", ".stab.indexstr");  dump_section_stabs (abfd, "$GDB_SYMBOLS$", "$GDB_STRINGS$");}