static bool atomicFlipVarToTrue(Var<Bool> v) {
  synchronized(v) {
    if (isTrue(v.get())) false;
    v.set(true); true;
  }
}