#include <stdio.h>
#include <gtk-4.0/gtk/gtk.h>

void print_text(GtkWidget *widget, gpointer data) {g_print (data);}