{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"strip_with_external_utility(sess,"}]}
                strip_with_external_utility(sess, stripcmd, temp_filename, &["-X32_64", "-l"])
                // FIXME: AIX's strip utility only offers option to strip line number information.
            }