#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
ao_put_string(const char *s);
void
-ao_cmd_readline(void);
+ao_cmd_readline(const char *prompt);
char
ao_cmd_lex(void);