{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"self.sess.opts.unstable_opts.export_executable_symbols;"}]}
                self.sess.opts.unstable_opts.export_executable_symbols;
            let should_export_executable_symbols =
            if !should_export_executable_symbols {