Weak CAS in loops