exec 2>&1
x='@'
echo 42:$((1?42:++x))