sbool isStefansOSAtLocalAddress(S localAddress) {
  ret isYes(send(localAddress, "is stefan's os"));
}