#include <foo.h>

GtkWidget *
foo_new (void)
{
  return gtk_button_new_with_label ("foo!");
}