static ImageSurface showScreenshot_top(int height) {
  ret showImage(rgbClipTop(shootScreen(), height));
}