handle_toggle (do_reversevideo, (int) (term->flags & REVERSE_VIDEO),
handle_toggle (do_reversevideo, (int) (term->misc.re_verse0),
void HandleReverseVideo(	Widget w,	XEvent *event GCC_UNUSED,	String *params,	Cardinal *param_count){    handle_toggle (do_reversevideo, (int) (term->flags & REVERSE_VIDEO),		   params, *param_count, w, (XtPointer)0, (XtPointer)0);}