pub fn show_array_spec<F>(f: &mut F, a: &ArraySpecifier)where
    F: Write,