https://github.com/kframework/wasm-semantics/pull/383#pullrequestreview-531560886 The binary parser could be tested directly on the abstract version.