let option_name = "-slice-pragma"