static float[] rgbImageColumnBrightnesses(RGBImage img) {
  int w = img.w();
  float[] f = new float[w];
  for x to w:
    f[x] = rgbAverageBrightness(rgbCol(img, x));
  ret f;
}