fn encode_variable(z: u64, buffer: &mut Vec<u8>)