let option_name = "-slice-loop-var"