{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"writeln!("}]}
    writeln!(
pub fn write_smir_pretty<'tcx, W: io::Write>(tcx: TyCtxt<'tcx>, w: &mut W) -> io::Result<()> {
        w,