String escaping

Produce or parse a quoted JSON string literal.