uses GtkInt;