static <A> void setVar(Var<A> v, A value) {
  if (v != null) v.set(value);
}