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