#include <stdio.h>

int main(void) {
	int data[] = {12, 345, 6789, 101112};
    char buf[128], *pos = buf;
    for (int i = 0 ; i != 4 ; i++) {
        if (i) {
            pos += sprintf(pos, ", ");
        }
        pos += sprintf(pos, "%d", data[i]);
    }
    printf("%s\n", buf);
	return 0;
}