sbool setBoolVar_returnPrevious(BoolVar v, bool value) {
  if (v == null) null;
  synchronized(v) {
    bool prev = v!;
    v.set(value);
    ret prev;
  }
}