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