{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"tokens.truncate(running_with_own_token);"}]}
            tokens.truncate(running_with_own_token);
            // Relinquish accidentally acquired extra tokens.