1 val K
= "\nval _ = print (concat [\"val K = \\\"\", String.translate (fn #\"\\n\" => \"\\\\n\" | #\"\\\\\" => \"\\\\\\\\\" | #\"\\\"\" => \"\\\\\\\"\" | c => str c) K, \"\\\"\", K, \"\\n\"])"
2 val _
= print (concat
["val K = \"", String.translate (fn #
"\n" => "\\n" | #
"\\" => "\\\\" | #
"\"" => "\\\"" | c
=> str c
) K
, "\"", K
, "\n"])