fn write_impl_section_heading(w: &mut Buffer, title: &str, id: &str)