No point in resorting to LEB128 encoding for such constants, using the native `u32` is faster and more compact. Adds `write_u32` method to facilitate this.
wat
local
Module