请用c语言编写一段代码，将顺序表(a1,a2,…,an)重新排列以a1为界的两部分：a1前面的值均比a1小，a1后面的值均比a1大（这里假设数据元素的类型具有可比性，不妨设为整型）。

你可以使用两个指针，一个从头开始指向列表，一个从末尾开始向后移动。当第一个指针找到一个大于`a1`的元素时，我们就把它放到正确的位置（即第一个小于`a1`的元素之后），然后两个指针同时向前移动一位。直到第一个指针超过第二个指针。以下是简单的C语言代码实现：

#include <stdio.h>

// 假设数组元素类型为int
void rearrange(int arr[], int n, int a1) {
    if (n == 0 || a1 <= 0) return; // 验证输入条件

    int left = 0, right = n - 1;
    while (left < right) {
        // 当左指针所指元素小于a1并且右指针所在位置元素大于a1时交换它们
        while (arr[left] < a1 && left < right) left++; // 左指针移到第一个大于等于a1的位置
        while (arr[right] > a1) right--; // 右指针移到第一个小于a1的位置

        // 如果左指针和右指针没有交叉，说明已经完成一次排序
        if (left < right) {
            int temp = arr[left]; // 交换左右指针处的元素
            arr[left] = arr[right];
            arr[right] = temp;
        }
    }
}

// 测试代码
int main() {
    int arr[] = {5, 4, 8, 1, 7, 3, a1}; // 假设a1已知
    int n = sizeof(arr) / sizeof(arr[0]);
    int a1 = ...; // 填充实际的a1值

    rearrange(arr, n, a1);
    for (int i = 0; i < n; i++) {
        printf("%d ", arr[i]);
    }
    return 0;
}

记得在`main()`函数中给变量`a1`赋值。