let option_name = "-slice-assert"