Tipos Abstratos de Dados Flexíveis em C - Algoritmos e Estruturas de Dados II (149) - Lista Simples Flexível

int removerFim() {
      if (primeiro == ultimo) 
         errx(1, "Erro!");
      Celula *i;
      for(i = primeiro;i->prox!=ultimo;i = i->prox);
      int elemento = ultimo->elemento; 
      ultimo = i;  free(ultimo->prox); 
      i = ultimo->prox = NULL;
      return elemento;
 }

Essa função remove o último elemento de uma lista encadeada. A função retorna o elemento removido. A operação é bem-sucedida?