static <A> A waitForVarPredicate(Var<A> v, IF0<Bool> pred) ctex {
  synchronized(v) {
    while (!pred!)
      v.wait();
    ret v!;
  }
}