set -e

TOKEN_COUNTER=0
echo TOKEN_COUNTER=$TOKEN_COUNTER
(( TOKEN_COUNTER++ ))
echo Success. TOKEN_COUNTER=$TOKEN_COUNTER