static byte[] scaledDownScreenshot_jpeg_possiblyBroken(int width) {
  ret toJPEG(scaledDownScreenshot_possiblyBroken(width));
}