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