names             433 src/entry.c    get_list(bitstr_t * bits, int low, int high, const char *names[],
names             455 src/entry.c    		if (EOF == (ch = get_range(bits, low, high, names, ch, file)))
names             475 src/entry.c    get_range(bitstr_t * bits, int low, int high, const char *names[],
names             494 src/entry.c    		ch = get_number(&num1, low, names, ch, file, ",- \t\n");
names             516 src/entry.c    			ch = get_number(&num2, low, names, ch, file, "/, \t\n");
names             561 src/entry.c    get_number(int *numptr, int low, const char *names[], int ch, FILE * file,
names             586 src/entry.c    	if (names) {
names             595 src/entry.c    			for (i = 0; names[i] != NULL; i++) {
names             597 src/entry.c    					("get_num, compare(%s,%s)\n", names[i], temp));
names             598 src/entry.c    					if (!strcasecmp(names[i], temp)) {
names             123 src/env.c      	static const char *names[] = {
names             146 src/env.c      		for (name = names; *name != NULL; ++name) {