{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
        /// Note that during computation of `memory_index`, sometimes
        ///
        /// it is easier to operate on the inverse mapping (that is,