{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"symbols_below_threshold.extend(copy_symbols(cnum));"}]}
            symbols_below_threshold.extend(copy_symbols(cnum));
            let _timer = tcx.prof.generic_activity("lto_generate_symbols_below_threshold");
        }