Vetor Encontrar numero no vetor

#include <stdio.h>
#include <stdlib.h>
main(){
       int vetor[10], i, tl, num, opcao = 0;
       while (opcao!=4){
             printf("\n1- Leitura do vetor de TL numeros.\n2- Exibe o vetor.\n3- Le o numero e verifica se existe no vetor.\n4- Sair.\n\nEntre com a opcao: ");
             scanf("%d", &opcao);
             switch(opcao){
                           case 1: printf("\nLeitura");
                                   printf("\nEntre com o TL (menor que 10): ");
                                   scanf("%d", &tl);
                                   for (i=0;i<tl;i++){
                                       printf("\nVetor de posicao %d: ", i);
                                       scanf("%d", &vetor[i]);
                                   }
                                   break;
                           case 2: for (i=0;i<tl;i++)
                                   printf("\nVetor [%d] = %d", i, vetor[i]);
                                   break;
                           case 3: printf("\nEntre com um numero para procurar: ");
                                   scanf("%d", &num);
                                   int posicao = -1;
                                   for (i=0;i<tl;i++){
                                       if (vetor[i] == num)
                                            posicao = i;
                                   }
                                   if (posicao == -1)
                                       printf("\nO numero informado nao foi encontrado no Vetor.");
                                       else printf("\nO numero informado foi encontrado na posicao %d", posicao);
                                   break;
                           }
             }
}