New issue from Hans about compare_exchange_* functions