rem: bPtr->flags.pushed = 0;
context: WMPerformButtonClick(WMButton *bPtr){    CHECK_CLASS(bPtr, WC_Button);      if (!bPtr->flags.enabled)	return;    bPtr->flags.pushed = 1;    bPtr->flags.selected = 1;        if (bPtr->view->flags.mapped) {	paintButton(bPtr);	XFlush(WMScreenDisplay(WMWidgetScreen(bPtr)));	wusleep(20000);    }      if (bPtr->groupIndex>0) {	WMPostNotificationName(WMPushedRadioNotification, bPtr, NULL);    }    if (bPtr->action)	(*bPtr->action)(bPtr, bPtr->clientData);         bPtr->flags.pushed = 0;        if (bPtr->view->flags.mapped)	paintButton(bPtr);}