#include <stdio.h>

int utf_varint(FILE *arq_entrada, FILE *arq_saida);
int varint_utf(FILE *arq_entrada, FILE *arq_saida);