8< #include #include #include static void cb_button1_clicked (GtkWidget *button, gpointer user_data); static void destroy(GtkWidget *button, gpointer user_data); int GetRandom(); >8