{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"M::before_alloc_access(tcx,"}]}
                M::before_alloc_access(tcx, machine, alloc_id)?;
                // amount of bytes to be written: a zero-sized write doesn't manifest anything.
                M::before_memory_write(