#include int main() { printf("%d\n", __COUNTER__); printf("%d\n", __COUNTER__); for(int i = 0; i < 4; ++i) { printf("%d\n", __COUNTER__); } }