Tirei um printf do total de instrucoes que estava repetido, que tinha colocado para debug