#include <gtk/gtk.h>
void set_button_color_red(GtkWidget *button);
void set_button_color_green(GtkWidget *button);
void set_button_color_white(GtkWidget *button);