int serial_init(void);
void write_serial(char a);