1"foo \ 2 \bar" 3``"foo"`` 4`foo = #"^`"` 5`"\""` 6`` `` 7``(* foo`` 8`^^` 9"\"" ``foo`` 10"\\" `foo` 11`putting unescaped backticks into ^(antiquotes #"`") is fine` 12``foo 13bar`` 14``"an embedded string with \ 15\protected newlines"`` 16`s1 ^ s2` 17`s1 ^^ 18s2` 19(* ` *) 20`^(fromMLnum nm) (* *) `; 21(* (* *) `;*) 22