#ifndef OCARINA_FOOTER
#define OCARINA_FOOTER
#include <ocarina/gtk.h>
GtkWidget *get_tiny_footer();
#endif /* OCARINA_FOOTER */