Удалить из нее все вхождения максимального элемента

#include <stdio.h>
#include <stdlib.h>
 
int main(void)
{
    int n, max, i, j, buf;
    int *sequence;
    
    printf("Введите n: ");
    scanf("%d", &n);
    do
        sequence = (int *)malloc(n * sizeof(int));
    while(sequence == NULL);
    
    printf("Введите последовательность чисел:\n");
    for (i = 0; i < n; ++i)
        scanf("%d", sequence + i);
    
    printf("Исходная последовательность\n");
    for (i = 0; i < n; ++i)
        printf("%d ", sequence[i]);
    printf("\n");
     
    // поиск максимального значения
    max = sequence[0];
    for (i = 0; i < n; ++i)
        if (max < sequence[i])
            max = sequence[i];
        
    // удаление максимального значения
    for (i = 0; i < n; ++i)
        if (sequence[i] == max)
        {
            for (j = i; j < n - 1; ++j)
                sequence[j] = sequence[j + 1];
            --i;
            --n;
        }
    
    printf("Последовательность без максимального\n");
    for (i = 0; i < n; ++i)
        printf("%d ", sequence[i]);
    printf("\n");
    
    // сортировка пузырьком
    for (i = 0; i < n - 1; ++i)
        for (j = 0; j < n - i - 1; ++j)
            if (sequence[j] > sequence[j + 1])
            {
                buf = sequence[j];
                sequence[j] = sequence[j + 1];
                sequence[j + 1] = buf;
            }
 
    printf("Отсортированная последовательность\n");
    for (i = 0; i < n; ++i)
        printf("%d ", sequence[i]);
    printf("\n");
 
    free(sequence);
  
    return 0;
}

#include <stdio.h>
 
size_t remove_all_max(int* a, size_t n){
    size_t m = 0;
    for(size_t i = 1; i < n; ++i){
        if(a[i] > a[m])
            m = i;
    }
 
    for(size_t j = m + 1; j < n; ++j){
        if(a[j] == a[m]){
            a[j] = a[--n];
            --j;
        }
    }
    return n;
}
 
int main(void){
    size_t i;
    int  a[] = { 8, 1, 2, 5, 8, 7, 5, 8, 8, 2, 8, 0 };
    size_t n = sizeof(a)/sizeof(a[0]);
 
    n = remove_all_max(a, n);
    for(i = 0; i < n; ++i)
        printf("%d ", a[i]);
    return 0;
}