+ /* It's ok to use a normal cast here, as we are sure that we
+ * have gotten the right type */
+ GtkWidget *widget = (GtkWidget *)GET_NEW;
+ GtkWidget *label_widget = gtk_label_new(label);
+ gtk_container_add(GTK_CONTAINER(widget), label_widget);
+ gtk_widget_show(label_widget);
+ return widget;