pub fn write_varint_with_start(data: &mut Vec<u8>, val: u32)
Write a big-endian varint with the start marker (0x80) on the first byte.