string-code-point-31.json:2:14: funny character in string