25.6.5 strstr

The standard function strstr provides the following interface:

fun strstr = (string haystack, string needle) int<32>: { ... }

It returns the index of the first occurrence of the string
needle in the string haystack.  If the needle is not found
in the haystack, this function returns the length of the string
haystack.