Processing varints with the single_varint() function