There seems to be some typos in shape.all_true instruction and txN.bitmask execution.
The parameter is labeled as $c_1$, but the some of the ones used are just labeled $c$.
This pull request changes all the incorrect $c$ to $c_1$.
I've changed all the c_1s to plain c for the above two instructions. However, the return value for txN.bitmask is also c, so I've changed it from c to i since it returns an i32.const.
There seems to be some typos in shape.all_true instruction and txN.bitmask execution. The parameter is labeled as $c_1$, but the some of the ones used are just labeled $c$.
This pull request changes all the incorrect $c$ to $c_1$.