See the discussion in #218. The JS API spec assumes that the core spec will keep track of some opaque data as exceptions are traced through the WebAssembly execution. The most readable solution would be to explicitly handle this in the core specification, but @rossberg would prefer monkeypatching from the JS API spec.