Source position: gtkproc.pp line 461
function GetGtkNoteBookPageCount(
ANoteBookWidget: PGtkNoteBook
):Integer;