Source position: gnomedock.inc line 225
function gnome_dock_band_get_num_children(
band: PGnomeDockBand
):guint;