{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"M::before_alloc_access(tcx,"}]}
        M::before_alloc_access(tcx, machine, dest_alloc_id)?;
        // ...and access hooks.
        M::before_memory_write(