9   const char *val;  in main()  local
119   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_xyz", &val, &has));  in main()
120   PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));  in main()
121   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_xyz", &val, &has));  in main()
122   PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));  in main()
123   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_xyz", &val, &has));  in main()
124   PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));  in main()
125   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_23_xyz", &val, &has));  in main()
126   PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));  in main()
127   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_23_456_xyz", &val, &has));  in main()
128   PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));  in main()
129   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_23_456_789_xyz", &val, &has));  in main()
130   PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));  in main()
131   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_xyz_42", &val, &has));  in main()
133   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc42xyz", &val, &has));  in main()
135   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc42_xyz", &val, &has));  in main()
137   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42xyz", &val, &has));  in main()
139   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc0_42_xyz", &val, &has));  in main()
141   PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_0xyz", &val, &has));  in main()