Source position: png.pp line 563
function png_get_image_height(
png_ptr: png_structp;
info_ptr: png_infop
):png_uint_32;