v=$- [ "${#-}" = "${#v}" ] || echo '${#-} wrong'