//testing=trivial 2006.07.17
#include "md.h"
  #include <readline/readline.h>
  #include <readline/history.h>
int main()
{
  char* line_read = readline("xx");
  add_history(line_read);
}