["arg1","+RTS","arg2"]