write-char

write-char is a built-in function in `C source code'.

(write-char CHARACTER &optional PRINTCHARFUN)

Output character CHARACTER to stream PRINTCHARFUN.
PRINTCHARFUN defaults to the value of `standard-output' (which see).