"foo".replace("", "f") // expect runtime error: From must be a non-empty string.