let option_name = "-rm-unused-globals"