static RGBImage rgbClipTop(RGBImage i, int h) {
  ret rgbClip(i, rect(0, 0, i.getWidth(), h));
}