Forums Bug Reports $gettok fails with empty tokens

Ah. I tried and failed to build something like that with Regex.
Thank you very much then, argv0!