let option_name = "-slicing-keep-annotations"