static bool getAndResetBoolVar(Var<Bool> v) {
  bool b = isTrue(v!);
  v.set(false);
  ret b;
}