let option_name = "-impact-pragma"