int debug_getchar(void);
debug_getchar reads one character from the Debug Terminal. This function uses line input and will therefore block until characters are available and ENTER has been pressed.
debug_getchar returns the character that has been read.