fn prompt_lines( firstc: &str, prompt: &str, indent: u64, hl: &HighlightMap, ) -> (usize, Vec<(Rc<Highlight>, Vec<String>)>)