cat <<EOFstatic inline ${ret}${atomic}_read_acquire(const ${atomic}_t *v){	return smp_load_acquire(&(v)->counter);}EOF