{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // While the model is undecided, we should be conservative. See
            // Pointer to int casts may be side-effects due to exposing the provenance.
            // <https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html>