static void (*atclose)(Fl_Window *, void *);

static const char * const help = helpmsg + 13;

static void (*idle)();

static int abi_check(const int val=FL_ABI_VERSION);

function ABI_Check
       (ABI_Ver : in Version_Number)
    return Boolean;

static int abi_version();

function ABI_Version
    return Version_Number;

static int api_version();

function API_Version
    return Version_Number;

static int arg(int argc, char **argv, int &i);

static int args(int argc, char **argv, int &i, Fl_Args_Handler cb=0);

static void args(int argc, char **argv);

static void awake(void *message=0);

procedure Awake;

static int awake(Fl_Awake_Handler cb, void *message=0);

static void cairo_autolink_context(bool alink);

static bool cairo_autolink_context();

static cairo_t * cairo_cc();

static void cairo_cc(cairo_t *c, bool own=false);

static cairo_t * cairo_make_current(Fl_Window *w);

static int check();

function Check
    return Boolean;

static void clear_widget_pointer(Fl_Widget const *w);

static void damage(int d);

procedure Set_Damaged
       (To : in Boolean);

static int damage();

function Is_Damaged
    return Boolean;

static void delete_widget(Fl_Widget *w);

static void flush();

procedure Flush;

static int gl_visual(int, int *alist=0);

static int handle(int, Fl_Window *);

static int handle_(int, Fl_Window *);

static int lock();

procedure Lock;

static int ready();

function Ready
    return Boolean;

static void redraw();

procedure Redraw;

static void release_widget_pointer(Fl_Widget *&w);

static int run();

function Run
    return Integer;

static void set_abort(Fl_Abort_Handler f);

static void set_atclose(Fl_Atclose_Handler f);

static void set_idle(Fl_Old_Idle_Handler cb);

static void * thread_message();

static void unlock();

procedure Unlock;

static void use_high_res_GL(int val);

static int use_high_res_GL();

function Is_Valid
       (Object : in Wrapper)
    return Boolean;

static double version();

function Version
    return Version_Number;

static int visual(int);

static int wait();

function Wait
    return Integer;

static double wait(double time);

function Wait
       (Seconds : in Long_Float)
    return Long_Float;

static void watch_widget_pointer(Fl_Widget *&w);