Alloc: exit loop now properly checks the return value of the CAS op.