pub fn encode_varint_signed(buf: &mut Vec<u8>, value: i64)
Encode a signed i64 as a varint (zigzag encoding). opencoder.py: encode_varint_signed