Loading checkasm.wasm (wasm64) and running…