{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
// `Printer::end`. Failure to do so can result in bad indenting, or in extreme
// Boxes opened with methods like `Printer::{cbox,ibox}` must be closed with
// cases, cause no output to be produced at all.