fn dbg_pos(pos: &[SingleLineSpan]) -> String