png_64bit_product  834 3rdparty/libpng/png.c    png_64bit_product(green_x - red_x, blue_y - red_y, &xy_hi, &xy_lo);
png_64bit_product  835 3rdparty/libpng/png.c    png_64bit_product(green_y - red_y, blue_x - red_x, &yx_hi, &yx_lo);
png_64bit_product 1358 3rdparty/libpng/pngpriv.h PNG_EXTERN void png_64bit_product PNGARG((long v1, long v2,