{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//!"}]}
//! Yes, linewidth is chars and tokens are multi-char, but in the worst
//! The printer buffers up to 3N tokens inside itself, where N is linewidth.
//! case every token worth buffering is 1 char long, so it's ok.