215 static char		input_buffer[INPUTBUFFER];  variable
516 		if (gets(input_buffer) == NULL) {  in main()
520 		if (*input_buffer != 'y' && *input_buffer != 'Y') {  in main()
540 		if (gets(input_buffer) == NULL) {  in main()
544 		if (*input_buffer != 'y' && *input_buffer != 'Y') {  in main()
589 		if (gets(input_buffer) == NULL) {  in main()
593 		if (*input_buffer != 'y' && *input_buffer != 'Y') {  in main()
1868 	return (input_buffer[input_pointer++]);  in getachar()
1882 	input_buffer[--input_pointer] = c;  in ungetachar()
1904 		input_buffer[i++] = c;  in getnextinput()
1905 	if (i > 0 && input_buffer[i - 1] == '\\') {  in getnextinput()
1906 		input_buffer[i++] = c;  in getnextinput()
1926 	input_buffer[i] = '\n';  in getnextinput()