#include <stdio.h>

int global_counter = 5;

int main(void) {
    // Increment the global counter.
    global_counter++;

    printf("%d", global_counter);
    putchar('\n');
}