#include <stdio.h>


void some_dummy_func(void)
{
    static int i;
    printf("some_dummy_func: Counter = %d\n", i++);
    i++;
}