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