private static function isJsonEscaped($c) { // See RFC 4627. return $c < chr($k_control_char_limit) || $c === "\"" || $c === "\\"; }