#if !defined(_ggiwidget_h_)
#define _ggiwidget_h_
#include <X11/Intrinsic.h>
Widget GgiWidget(ident id);
#endif