static synchronized S loadDex(byte[] dex, bool run) ctex {

  assertTrue("Not a dex file", isDex(dex));

  Class j = getJavaX();

  ClassLoader parentClassLoader = j.getClassLoader().getParent();

  File dexDir = (File) call(j, "TempDirMaker_make");

  File dexFile = new File(dexDir, "spontaneous.dex");

  //File dexFile = prepareProgramFile("spontaneous.dex");

  saveBinaryFile(dexFile, dex);

  print("dexFile: " + dexFile.getAbsolutePath());

  assertEquals((long) dex.length, dexFile.length());

  print("Dex size: " + dex.length);

  // For Android's optimized class data (must be an app-local dir)

  File dexOutputDir = makeAndroidTempDir();

  Class dcl = Class.forName("dalvik.system.DexClassLoader");

  O classLoader = dcl.getConstructors()[0].newInstance(dexFile.getAbsolutePath(), dexOutputDir.getAbsolutePath(), null,

    parentClassLoader);

  final Class<?> mainClass = (Class<?>) call(classLoader, "loadClass", "main");

  hotwire_copyOver(mainClass);

  final O paa = nuObject(_getClass(j, j.getName() + "$PaA"));

  S injectionID;

  set(paa, "injectionID", injectionID = randomID(8));

  set(paa, "mainClass", mainClass);

  call(j, "addInjection", paa);

  if (run)

    thread "Spontaneous DEX" {

      callMain(mainClass);

    }

  ret format("OK, injection id: *", injectionID);

}