// prompt.h

extern void prompt(char *prompt_string);
  // MODIFIES: cout
  // POST: cout has prompt_string written to it and is flushed.