!7 static int expectedSize = 571162253; static byte[] bytes; p { File f = getProgramFile("latest/simplewiki-latest-pages-articles.xml.bz2"); if (fileSize(f) == 0) saveBinaryFile(f, loadBinaryPage( "https://dumps.wikimedia.org/simplewiki/latest/simplewiki-latest-pages-articles.xml.bz2")); print("Wikipedia downloaded. Got " + fileSize(f) + " bytes."); print("Unpacking..."); time2 { bytes = streamToBytes(bunzip2stream(f), expectedSize+10); } print("Unpacked to " + l(bytes) + " bytes."); }