{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"write_allocation_bytes(tcx,"}]}
        write_allocation_bytes(tcx, alloc, w, "    ")?;
        writeln!(w, " {{")?;
        write!(w, "}}")?;