void put(GtkWidget child_widget, int x, int y);