+
+ // write_leb_128(s, values, N) : write signed integers to a stream with LEB128 compression.
+ // This takes N integers from array values, compress them with the LEB128 algorithm and
+ // writes the result on the stream s.
+ // See https://en.wikipedia.org/wiki/LEB128 for a description of the compression scheme.