#if defined(WIN32)
# define READLINE_STATIC	1
#endif
#include <readline/readline.h>
#include <readline/history.h>