The machines used in Brazil, while based originally on a Diebold design, are widely different from the ones used in US. There are genuine complaints: for instance some of us belive the software and hardware should be open source, but it has passed the test of time in the last 30 years.