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