main() {
    int j;
    j = (1, 314, 4711);
    printf("j=%d\n", j);
}