static <A> void copyBest(Best<A> a, Best<A> b) {
  b.best = a.best;
  b.score = a.score;
}