wish84.exe "$@"
