{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"if"}]}
    if buf.is_empty() {
    // special-case allocations whose contents are all 0. We can return anything in the empty case.
        return true;