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; }