Add the testcase from #227.
Add the testcase from #227.

pjuftring/spec,AndrewScheidecker/WebAssembly-spec,AndrewScheidecker/WebAssembly-spec,pjuftring/spec,naturaltransformation/spec,naturaltransformation/spec