{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"fmt.write_str(\"*\")?;"}]}
            fmt.write_str("*")?;
            let byte_str = alloc.inner().get_bytes_strip_provenance(&tcx, range).unwrap();
            pretty_print_byte_str(fmt, byte_str)?;