Andrew Scheidecker

> I don't understand. Can you clarify with pseudo-code what you mean? I saw your point about call / call_indirect, but what I'm proposing doesn't affect any signature. @lukewagner listed...

> Ah gotcha, thanks. Even if it were the first time, we could make it a separate op instead to reduce your concern? Personally, I'd weigh the cost of this...

Glad to see this discussion. I think that specifying the interaction of the optional features in normative text is really desirable. If the features are just in independent appendices, there...