: "$1"
case "$1" in
---print-command) ppfx=echo; shift ;;
---print0-command) ppfx=ppfx0; shift ;;
---) shift ;;
+--print-command) ppfx=echo; r=root@; shift ;;
+--print0-command) ppfx=ppfx0; r=root@; shift ;;
+--) shift ;;
-*) fail "invalid instead-of-command options \`$1'" ;;
esac
ppfx0 () { for x in "$@"; do printf '%s\0' "$x"; done; }
-$ppfx ssh $adt_ssh_keyident_args $adt_guest_ipaddr "$@"
+$ppfx ssh $adt_ssh_keyident_args $r$adt_guest_ipaddr "$@"