svoid lambdaMapLike flagSleep(IVF1<Flag> r) {
  new Flag flag;
  r.get(flag);
  flag.waitUntilUp();
}

svoid lambdaMapLike flagSleep(IVF1<Flag> r, double timeout) {
  new Flag flag;
  r.get(flag);
  flag.waitUntilUp(timeout);
}