I've sort of asked this before but I don't know if there's a "correct" way to enter the country.
I have my US passport with my valid tourist visa and stamp "Registrado(a) como PERMAMANTE" and I have my CIE.
Are both documents required to enter the country? Or is technically JUST the CIE necessary to enter the country? ( I know I have to have my passport of course). Does it matter which line I get into when I enter depending which document I use? I like to keep the customs officials happy and low drama. Just not sure What the "correct" procedure is.
I'm traveling into GRU and on to Salvador on Thursday.