{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"\"box_pointers\","}]}
        "box_pointers",
    store.register_removed(
        "it does not detect other kinds of allocations, and existed only for historical reasons",