Conte-nos sobre o bug de tabulação: como o encontraram, qual foi a causa e quais métodos de diagnóstico usaram?