Takenobu Tani

@xtuc, thanks for your comment. I intended "folded instructions" as the sugared version. https://webassembly.github.io/spec/core/text/instructions.html#folded-instructions I will understand the difference between the two from now. Thank you for teaching me.