strchr ¶The standard function strchr provides the following interface:
fun strchr = (string s, uint<8> c) int<32>: { ... }
It returns the index of the first occurrence of the character c in the string s. If the character is not found in the string, this function returns the length of the string.