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