#include <stdarg.h>
#include <stdbool.h>

#ifndef NULL
#define NULL ((void *)0)
#endif

void at91_init_uarts(void);
int puts(const char *str);
int putc(int c);
int putchar(int c);
int getc();

int strlen(const char *str);

int hvfprintf(const char *fmt, va_list ap);

int printf(const char *fmt, ...);