#ifndef UART_STDIN_H #define UART_STDIN_H int getchar(void); #endif /* UART_STDIN_H */