Success! Final stack:
  (Lean.Doc.Syntax.codeblock
   "```"
   [`scheme []]
   "\n"
   (str "\" (define x 4)\\n x\\n\"")
   "```")
All input consumed.