
     wwwwrrrriiiitttteeee____pppprrrroooommmmpppptttt((((4444))))        MMMMuuuuddddOOOOSSSS ((((5555 SSSSeeeepppp 1111999999994444))))         wwwwrrrriiiitttteeee____pppprrrroooommmmpppptttt((((4444))))

     NNNNAAAAMMMMEEEE
          write_prompt - called when the parser wants a prompt to be
          written.

     SSSSYYYYNNNNOOOOPPPPSSSSIIIISSSS
          void write_prompt( void );

     DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN
          If write_prompt is present in the player object, the driver
          will call it whenever the default prompt would normally be
          printed.  The driver will not call write_prompt when the
          player is in input_to or ed.

     AAAAUUUUTTTTHHHHOOOORRRR
          Truilkan@TMI

     Page 1                                          (printed 3/16/95)

