Type Definition gtk_sys::GtkNotebookTab

type GtkNotebookTab = c_int;