let
new_command =
"<normal slicing command> -then-on 'Slicing export' -print"