526 						terminal__putc(el, '\n');  in terminal_move_to_line()
566 		terminal__putc(el, '\r');	/* do a CR */  in terminal_move_to_char()
596 							terminal__putc(el,  in terminal_move_to_char()
629 					terminal__putc(el, '\r');/* do a CR */  in terminal_move_to_char()
634 					terminal__putc(el, '\b');  in terminal_move_to_char()
662                 terminal__putc(el, *cp++);  in terminal_overwrite()
683 					terminal__putc(el, ' ');  in terminal_overwrite()
769 			terminal__putc(el, *cp++);  in terminal_insertwrite()
782 		terminal__putc(el, *cp++);  in terminal_insertwrite()
806 			terminal__putc(el, ' ');  in terminal_clear_EOL()
827 		terminal__putc(el, '\r');  in terminal_clear_screen()
828 		terminal__putc(el, '\n');  in terminal_clear_screen()
843 		terminal__putc(el, '\007');	/* an ASCII bell; ^G */  in terminal_beep()
1242 terminal__putc(EditLine *el, Int c)  in terminal__putc()  function