static <A> A waitForVarToChange(Var<A> v, A knownValue) ctex {
  synchronized(v) {
    while (eq(knownValue, v!)) v.wait();
    ret v!;
  }
}