int debug_getch(void);
debug_getch reads one character from the Debug Terminal. This function will block until a character is available.