{"4.0",
 [{"3.0", [restart_new_emulator]}],
 [{"3.0", [restart_new_emulator]}]
}.