"abcd".bytes[12.34] // expect runtime error: Index must be an integer.