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