ifndef Android
please include function loadBufferedImage.
endifndef

static File loadImageAsFile(String snippetIDOrURL) ctex {
  if (isURL(snippetIDOrURL))
    fail("not implemented");

  if (!isSnippetID(snippetIDOrURL)) fail("Not a URL or snippet ID: " + snippetIDOrURL);
  S snippetID = "" + parseSnippetID(snippetIDOrURL);
  
  // TODO: androidify?
  File dir = imageSnippetsCacheDir();
  ifndef Android
  if (loadBufferedImage_useImageCache)
  endifndef {
    dir.mkdirs();
    File file = new File(dir, snippetID + ".png");
    if (file.exists() && file.length() != 0)
      return file;
  }

  String imageURL = snippetImageURL_noHttps(snippetID);
  System.err.println("Loading image: " + imageURL);
  byte[] data = loadBinaryPage(imageURL);

  File file = new File(dir, snippetID + ".png");
  saveBinaryFile(file, data);
  return file;
}