{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"M::before_memory_read("}]}
                M::before_memory_read(
            if !self.memory.validation_in_progress.get() {
                    self.tcx,