let option_name = "-slice-return"