// prompt.h

extern void prompt(const char promptstring[]);
  // MODIFIES: cout
  // POST: promptstring has been added to cout, and cout is flushed.