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[length1-1] = '1';
nondetString2[length2-1] = '1';
return cstrncmp(nondetString1,nondetString2,__VERIFIER_nondet_int());
}
/*
* Find the first occurrence of find in s.
*/
char *
cstrstr(const char *s, const char *find)
{
char c, sc;
size_t len;
if ((c = *find++) != 0) {
len = cstrlen(find);
do {
do {
if ((sc = *s++) == 0)
return (NULL);
} while (sc != c);
} while (cstrncmp(s, find, len) != 0);
s--;
}
return ((char *)s);
}
