Recompiled Z3 Emulator (ZOps) using Emscripten