135     char *cur_arg = argv[id];  in main()  local
136     if (!strcmp(cur_arg, "benchmark")) {  in main()
142     } else if (!strcmp(cur_arg, "demo")) {  in main()
148     } else if (!strncmp(cur_arg, "shuffle", 7)) {  in main()
149       if (strlen(cur_arg) == 7) {  in main()
153         CHECK(cur_arg[7] == '=');  in main()
154         shuffle_seed = ParseInt(cur_arg + 8);  in main()
157       if (isdigit(cur_arg[0])) {  in main()
159         int test_id = ParseInt(cur_arg);  in main()
165       } else if (cur_arg[0] == '-') {  in main()
167         int test_id = ParseInt(cur_arg + 1);  in main()
174         printf("Unknown argument: %s\n", cur_arg);  in main()