#include "../support/uart.h"

void uart_print_str(char *);
void uart_print_long(unsigned long);

void uart_interrupt();
void uart_print_short(unsigned long ul);

<p>Error running this command: <code>diff -w -U 5 "" "/tmp/jnbmcE"</code></p><p>diff: : No such file or directory</p>