Comentado alguns printf's usados para debug