system("sudo ssh $addr echo Hello")
      && die("Failed to 'sudo ssh $addr echo Hello': $?");