pub fn encode_varint(buf: &mut Vec<u8>, value: u64)
Encode a u64 as a variable-length integer (LEB128).