Success! Final stack:
  (Lean.Doc.Syntax.code
   "`"
   (str "\"fo\\no\"")
   "`")
All input consumed.