{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
        // allocation can be made immutable. In the future we could consider analyzing all
        // we'd have to somehow check that they are *all* immutable before deciding that this
        // pointers before deciding which allocations can be made immutable; but for now we are