Source position: gtknotebook.inc line 163
function gtk_notebook_get_tab_label(
notebook: PGtkNotebook;
child: PGtkWidget
):PGtkWidget;