cat <counter, i); } else { __atomic_release_fence(); raw_${atomic}_set(v, i); } EOF