// show a message.
// Implemented in different ways in cmdline client versus GUI client
//
extern void show_message(char* message, char* priority);