 FACT: The double letter problem in the program is not a bug. To be  an accidental flaw in the program, the vote tabulations would have  to already be looking at the candidates names. Also, a "real"  programmer would likely have tried additional cases to prove what  was wrong.