cat <<EOF return raw_${atomic}_dec_return(v) == 0; EOF