385     png_fixed_point chrm[8];  in read_color_profile()  local
387     if (png_get_cHRM_fixed(png_ptr, info_ptr, &chrm[0], &chrm[1], &chrm[2], &chrm[3], &chrm[4],  in read_color_profile()
388                            &chrm[5], &chrm[6], &chrm[7]))  in read_color_profile()
390         float rx = png_fixed_point_to_float(chrm[2]);  in read_color_profile()
391         float ry = png_fixed_point_to_float(chrm[3]);  in read_color_profile()
392         float gx = png_fixed_point_to_float(chrm[4]);  in read_color_profile()
393         float gy = png_fixed_point_to_float(chrm[5]);  in read_color_profile()
394         float bx = png_fixed_point_to_float(chrm[6]);  in read_color_profile()
395         float by = png_fixed_point_to_float(chrm[7]);  in read_color_profile()
396         float wx = png_fixed_point_to_float(chrm[0]);  in read_color_profile()
397         float wy = png_fixed_point_to_float(chrm[1]);  in read_color_profile()