{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"writeln!(writer,"}]}
            writeln!(writer, "    }}").unwrap();
            pretty_terminator(writer, &block.terminator.kind)?;
            Ok(())