typedef void ButtonCallback(int n);
+extern WindowPlacement wpComment, wpTags;
char *trialSound;
static int oldCores, oldPonder;
int MakeColors P((void));
Widget shells[10];
Widget marked[10];
Boolean shellUp[10];
-WindowPlacement *wp[10];
+WindowPlacement *wp[10] = { NULL, &wpComment, &wpTags };
Option *dialogOptions[10];
void MarkMenu(char *item, int dlgNr)