/** Definitions for serial port **/
  
  void init_serial(int speed);
  void send_serial(char c);
  char get_serial(void);
  void init_printf(void);