new RemoteProcessArgs( destination: $destination, command: $command, port: $port, user: $user, ), ])(); } }