// readline.h: declarations for readline.C

extern char* rl_gets(char*);  // GNU Readline input c++ interface function.