Considere o trecho de pseudocódigo mostrado a seguir:

Proc1(inteiro x, inteiro n, inteiro v[])
inteiro m ← 1
enquanto (m < n E v[m] ≠ x) faça
m ← m + 1
fim_enquanto;
se (m <= n E v[m] = x)
então retorna m
senão retorna -1

Tendo em vista os elementos do vetor v mostrados acima e para n = 8 e x = 12, assinale a alternativa que apresenta CORRETAMENTE o valor retornado por Proc1: