10 ASSERT( strstr(a, "\0\1") == a);
11 ASSERT( strstr(a, "") == a);
12 ASSERT( strstr(a, "ab") == &a[1]);
13 ASSERT( strstr(a, "abc") == NULL);
14 ASSERT( strstr(a, "abbc") == &a[1]);
15 ASSERT( strstr("", "abbc") == NULL);
16 /* ASSERT( strstr("", "") == a); should work, but it doesn't */
17 ASSERT( strstr(a, "cd") == &a[4]);