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