printchar_to_stream  331 src/print.c    	    printchar_to_stream (ch, stdout);
printchar_to_stream  401 src/print.c    	      printchar_to_stream (ch, stdout);
printchar_to_stream  924 src/print.c      printchar_to_stream (XFIXNUM (character), stderr);