cat <counter); } else { ret = arch_${atomic}_read(v); __atomic_acquire_fence(); } return ret; } EOF