#include <stdio.h>
#include <string.h>
#include <stddef.h>
+#include <stdbool.h>
#include <ao_pins.h>
#include <ao_arch.h>
extern int ao_putchar(char c);
extern char ao_getchar(void);
-#define TRUE 1
-#define FALSE 0
-
#ifndef HAS_TASK
#define HAS_TASK 1
#endif