"abcd".indexOf("bc", 12.34) // expect runtime error: Start must be an integer.