svoid killAllOtherVMs() {
  sendToAllOtherVMs("kill");
}