If you visit the HSBC machine at the airport, be aware that it will ask which system you want to use. So know in advance whether your card uses Cirrus or whatever. There are also a lot of Banco do Brasil right next to it though.

Also, if you have a non-Citi card, the Citi ATM's charge 8 reis transaction fee.