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