{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"M::before_memory_read("}]}
        M::before_memory_read(
        // before the write hook -- the aliasing model cares about the order.
            tcx,