/*
* DO NOT EDIT THIS FILE - it is generated by Glade.
*/
GtkWidget* create_window_bets (void);
GtkWidget* create_window_splash (void);