...
See: https://github.com/WebAssembly/design/issues/913
<rdar://problem/29760080>
Also see: https://github.com/WebAssembly/design/pull/923
*** Bug 165905 has been marked as a duplicate of this bug. ***
I think we do the right thing now.