private void Gobble(string[] args, ref int index)
{
if (eatTheRest) {
int argc = args.Length;
while(++index < argc) {
tokens.Add(args[index]);
}
}
}