int main() {
int length1 = __VERIFIER_nondet_int();
int length2 = __VERIFIER_nondet_int();
if (length1 < 1) {
length1 = 1;
}
if (length2 < 1) {
length2 = 1;
}
char* nondetString1 = (char*) alloca(length1 * sizeof(char));
char* nondetString2 = (char*) alloca(length2 * sizeof(char));
for(int i = 0; i < length1; i++)
{
nondetString1[i] = __VERIFIER_nondet_char();
}
for(int i = 0; i< length2; i++)
{
nondetString2[i] = __VERIFIER_nondet_char();
}
nondetString1[length1-1] = '\0';
nondetString2[length2-1] = '\0';
cstrpbrk(nondetString1,nondetString2);
return 0;
}
int main() {
int length1 = __VERIFIER_nondet_int();
int length2 = __VERIFIER_nondet_int();
if (length1 < 1) {
length1 = 1;
}
if (length2 < 1) {
length2 = 1;
}
char* nondetString1 = (char*) alloca(length1 * sizeof(char));
char* nondetString2 = (char*) alloca(length2 * sizeof(char));
nondetString1[0] = '\0';
nondetString2[0] = '\0';
nondetString1 += length1 - 1;
nondetString2 += length2 - 1;
cstrpbrk(nondetString1,nondetString2);
return 0;
}
int main()
{
cstrpbrk(__VERIFIER_nondet_String(), __VERIFIER_nondet_String());
return 0;
}
