let option_name = "-slice-print"