#include <stdio.h>

static int add(int x, int y) {
    return x+y;
}

int main()
{
    int a = 10;
    int sum = add(a++, a++);
    printf("This should be 21: %d", sum);
    assert(sum == 21);
    return 0;
}