请将以下代码翻译成C语言的模式：numbers = []while True: s = input().strip() if not s: break numbers.extend(map(int, s.split()))print(numbers)

int numbers[1000]; // 可根据实际情况调整数组大小

int idx = 0;
while (1) {
char s[1000];
scanf("%s", s);
if (strlen(s) == 0) { // 如果输入为空字符串，则退出循环
break;
}
char* token = strtok(s, " "); // 拆分输入的字符串
while (token != NULL) {
numbers[idx] = atoi(token); // 将拆分出的字符串转为整型，并存入数组
idx++;
token = strtok(NULL, " ");
}
}

for (int i = 0; i < idx; i++) {
printf("%d ", numbers[i]); // 输出数组中的元素
}