{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
        // We got tcx memory. Let the machine initialize its "extra" stuff.
        M::before_access_global(self.tcx, &self.machine, id, alloc, def_id, is_write)?;
        M::adjust_global_allocation(