static <A> A waitForVarToBeNotNull(Var<A> v) ctex {
  synchronized(v) {
    while (!v.has()) v.wait();
    ret v!;
  }
}