Serialize an integer in VarInt format.
Declared in <serialize.h>
<serialize.h>
template< typename Stream, typename I> void Ser( Stream& s, I v);