{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"const"}]}
const MARGIN: isize = 78;
/// Target line width.
/// Every line is allowed at least this much space, even if highly indented.