Capture return value from __sync_add_and_fetch in the test