In my main I have two threads running the following function:
int i = 0; void foo() { ++i; printf("%d", i); }
I ran it 1