Versions with this page:
Versions without this page:
This writes the 32-bit value to the stream using variable-length-encoding.