{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"(Strip::Symbols,"}]}
            (Strip::Symbols, _) => {
            ) => strip_with_external_utility(sess, stripcmd, out_filename, &["--discard-all"]),
                strip_with_external_utility(sess, stripcmd, out_filename, &["--strip-all"])