don't define default arg, since it's out-of-subset; pop argv[1] so the subject program sees only its usual command-line args