get-file-char

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

(get-file-char)

Don't use this yourself.