#include <stdio.h>

int x = 0;

void foo(int value)
{
    printf("x=%d, value=%d\n", x, value);
}

int main()
{
    foo(++x);
    foo(x++); /* note in output x is already incremented */
}