Você acredita que a é um local de memória que armazena o valor 1 e é atualizado para armazenar o valor 2.
You believe that a is a memory location that stores the value 1, then is updated to store the value 2.