void gui_set_label(int, const char *);
void gui_set_image(int, const char *);
void gui_set_multi(int, const char *);
void gui_set_count(int, int);
void gui_set_clock(int, int);
void gui_set_color(int, const float *, const float *);
void gui_set_label(int, const char *);
void gui_set_image(int, const char *);
void gui_set_multi(int, const char *);
void gui_set_count(int, int);
void gui_set_clock(int, int);
void gui_set_color(int, const float *, const float *);
int gui_count(int, int, int, int);
int gui_clock(int, int, int, int);
int gui_space(int);
int gui_count(int, int, int, int);
int gui_clock(int, int, int, int);
int gui_space(int);
void gui_timer(int, float);
int gui_point(int, int, int);
int gui_stick(int, int, int);
void gui_timer(int, float);
int gui_point(int, int, int);
int gui_stick(int, int, int);