static char * name_initializer(const char *type)
name_initializer(const char *type)
static char * name_initializer(const char *type){    static char *initializer;    char *s;    if (initializer == 0)	initializer = malloc(strlen(term->term_names) + 20);    (void) sprintf(initializer, "%s_data_%s", type, term->term_names);    for (s = initializer; *s != 0 && *s != '|'; s++)    {	if (!isalnum(*s))	    *s = '_';    }    *s = 0;    return initializer;}