Under the multi-value settings, control instructions (i.e. block, loop, if)
should carry into as many values as the in-arity of blocktype defined,
otherwise, instructions inside the block would not able to access
them across the block (label) boundary.
Under the multi-value settings, control instructions (i.e. block, loop, if) should carry into as many values as the in-arity of blocktype defined, otherwise, instructions inside the block would not able to access them across the block (label) boundary.