Seja a seguinte estrutura de dados do tipo pilha, para a qual são explicitados: a base da pilha e o ponteiro Stack Pointer (SP) apontando para o topo da pilha.
                                                                           

Assuma que existam as seguintes operações para manipulação da pilha:

Push a: empilha o valor da variável a na pilha, preservando o valor original de a.


Pop a: retira o valor do topo da pilha e o armazena na variável a.

Considerando o funcionamento típico de uma pilha e as variáveis x, y e z, a seguinte sequência de operações foi realizada em um programa:
x ← 5 y ← 4 Push x Push y Pop x Pop y x ← x – 2 y ← y – 1 Pop z Pop z Push x Push y

Dessa forma, é correto afirmar que a pilha passará a conter os seguintes valores armazenados (ordenados de cima para baixo) após a execução desse programa: