{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
    // special-case allocations whose contents are all 0. We can return anything in the empty case.
    // In the empty case we wouldn't encode any contents even without this system where we
    if buf.is_empty() {