Function increment

test/pthread/call_async.c:15–17

int state = 0;

void increment() {
  state++;
}

void finish() {
  assert(state == 2);