Function variant_heading 

fn variant_heading(w: &mut Out<'_>, wv: &WithinVariant<'_>) -> Result