extern void serial_write(uint16_t addr, uint8_t val);
extern uint8_t serial_read(uint16_t addr);
extern void serial_inject(uint8_t data);
extern void serial_poll_host(void);
extern char serial_host_name[16];