replace __sync_fetch_and_OP with __sync_OP_and_fetch