{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"String::from_utf8(out).unwrap()"}]}
            String::from_utf8(out).unwrap()
            write_smir_pretty(ex.tcx(), &mut out).unwrap();
        }