cat <<EOF	return raw_cmpxchg${order}(&v->counter, old, new);EOF