int err = NS_PTR_TO_INT32(aData);  if (sErrDlg) { gtk_widget_destroy(sErrDlg); sErrDlg = NULL; }
gtk_widget_destroy(sErrDlg); sErrDlg = NULL;
ErrDlgOK(GtkWidget *aWidget, gpointer aData){    int err = NS_PTR_TO_INT32(aData);        if (sErrDlg)    {        gtk_widget_destroy(sErrDlg);        sErrDlg = NULL;    }    gtk_main_quit();    if (IsErrFatal(err))        exit(err);}