// file will be in current program's cache dir
static File loadProgramDex(S snippetID) {
  snippetID = str(parseSnippetID(snippetID));
  File dexFile = getCacheProgramFile(snippetID + ".dex");
  saveBinaryFile(dexFile,
    loadBinaryPage("http://tinybrain.de:8080/dexcompile.php?id="
      + parseSnippetID(getProgramID())));
  if (dexFile.exists())
    print("Dex downloaded to " + f2s(dexFile));
  ret dexFile;
}