extern serial_write_char
 extern serial_write_hex
 extern serial_write_hex_digit