I think down the road, we'll want to revise this to be a little more low-level, because I think we'll want to reject things like the following (which are currently accepted): i32.const 4 i32.const 5 ...