sbool downloadSimpleWikipedia_print = true;

static File downloadSimpleWikipedia() {
  File f = getProgramFile(#1008009, "simplewiki-latest-pages-articles.xml.bz2");
  if (fileSize(f) == 0)
    loadBinaryPageToFile(
"https://dumps.wikimedia.org/simplewiki/latest/simplewiki-latest-pages-articles.xml.bz2", f);
  if (downloadSimpleWikipedia_print) {
    downloadSimpleWikipedia_print = false;
    print("Wikipedia downloaded. Got " + fileSize(f) + " bytes.");
  }
  ret f;
}