Opening a bug to write down concrete wording from discussion in: https://github.com/WebAssembly/spec/pull/32