{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"*local_val"}]}
                *local_val = src;
                // Local can be updated in-place.
                // Call the machine hook (the data race detector needs to know about this write).