extern void gui_reverb(GtkWidget *Container);