473 char *init_strings[20];  variable
4386 				if (unique_test(string, init_strings) != 1)  in ee_init()
4524 			if (unique_test(string, init_strings) == 1)  in dump_ee_conf()
5481 	init_strings[0] = CASE;  in strings_init()
5482 	init_strings[1] = NOCASE;  in strings_init()
5483 	init_strings[2] = EXPAND;  in strings_init()
5484 	init_strings[3] = NOEXPAND;  in strings_init()
5485 	init_strings[4] = INFO;  in strings_init()
5486 	init_strings[5] = NOINFO;  in strings_init()
5487 	init_strings[6] = MARGINS;  in strings_init()
5488 	init_strings[7] = NOMARGINS;  in strings_init()
5489 	init_strings[8] = AUTOFORMAT;  in strings_init()
5490 	init_strings[9] = NOAUTOFORMAT;  in strings_init()
5491 	init_strings[10] = Echo;  in strings_init()
5492 	init_strings[11] = PRINTCOMMAND;  in strings_init()
5493 	init_strings[12] = RIGHTMARGIN;  in strings_init()
5494 	init_strings[13] = HIGHLIGHT;  in strings_init()
5495 	init_strings[14] = NOHIGHLIGHT;  in strings_init()
5496 	init_strings[15] = EIGHTBIT;  in strings_init()
5497 	init_strings[16] = NOEIGHTBIT;  in strings_init()
5498 	init_strings[17] = EMACS_string;  in strings_init()
5499 	init_strings[18] = NOEMACS_string;  in strings_init()
5500 	init_strings[19] = NULL;  in strings_init()