oops I should use fetch_add