Function write_list 

fn write_list<T: Display>(
    f: &mut dyn Write,
    values: &[T],
    separator: &str,
    prefix: &str,
) -> Result