void main() {
int counter1, counter2, counter3, counter4;
int i = 300000000;
while (i--)
static if (1) { // 1.23 s
if (i % 4 == 0) {
counter1++;
} else if (i % 4 == 1) {
counter2++;
} else if (i % 4 == 2) {
counter3++;
} else {
counter4++;
}
} else { // 1.16 s
if (i % 4 == 1) {
if (i % 4 == 0) {
counter1++;
} else {
counter2++;
}
} else {
if (i % 4 == 2) {
counter3++;
} else {
counter4++;
}
}
}
printf("%d %d %d %d\n", counter1, counter2, counter3, counter4);
}