Stein said the ExpressVote XL machines violate the settlement because they do not produce a truly auditable, voter-verifiable paper trail. Instead, she said, the record they produce is difficult for voters to confirm. Although they print plain text that is considered the official record for recounts and audits, the initial tally of results is done using bar codes.