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