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