protected virtual void PickOneOfDefault(int i, int[] args, int def) { if (i < 0 || i >= args.Length) i = def; else i = args[i]; Push(i); }