/* Copyright (c) University of Cambridge 1995 - 2018 */
/* See the file NOTICE for conditions of use and distribution. */
/* Copyright (c) University of Cambridge 1995 - 2018 */
/* See the file NOTICE for conditions of use and distribution. */
{
if (value[j] == '\"' || value[j] == '\\')
result = string_catn(result, US"\\", 1);
{
if (value[j] == '\"' || value[j] == '\\')
result = string_catn(result, US"\\", 1);