pub fn show_for_init_statement<F>(f: &mut F, i: &ForInitStatement)where
    F: Write,