Source position: gtknotebook.inc line 132
function gtk_notebook_page_num(
notebook: PGtkNotebook;
child: PGtkWidget
):gint;